Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


imported SEABIOS source tree
[palacios.git] / bios / seabios / tools / gen-offsets.sh
1 :
2 # Extract definitions from an assembler file.  This is based on code
3 # from the Linux Kernel.
4 INFILE=$1
5 OUTFILE=$2
6 cat > "$OUTFILE" <<EOF
7 // This is an auto-generated file.  DO NOT EDIT!
8 // Generated with "$0 $@"
9 #ifndef __ASM_OFFSETS_H
10 #define __ASM_OFFSETS_H
11 EOF
12 sed -ne "/^->/{s:->#\(.*\):/* \1 */:; \
13         s:^->\([^ ]*\) [\$\#]*\([^ ]*\) \(.*\):#define \1 \2 /* \3 */:; \
14         s:->::; p;}" < "$INFILE" >> "$OUTFILE"
15 cat >> "$OUTFILE" <<EOF
16 #endif // asm-offsets.h
17 EOF