Rev 226 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
164 | palkovsky | 1 | #! /bin/sh |
2 | |||
197 | palkovsky | 3 | set -e |
200 | palkovsky | 4 | # Generate context_offset.h |
5 | (cd ../arch/amd64/src;make gencontext;./gencontext) |
||
6 | # Create links to ia32 architecture |
||
242 | palkovsky | 7 | |
8 | ( |
||
9 | set -e |
||
10 | cd ../arch |
||
11 | for a in drivers bios mm/frame.c mm/tlb.c mm/memory_init.c boot/memmap.S; do |
||
12 | echo ln -sf `pwd`/ia32/src/$a amd64/src/$a |
||
13 | ln -sf `pwd`/ia32/src/$a amd64/src/$a |
||
206 | palkovsky | 14 | done |
197 | palkovsky | 15 | |
242 | palkovsky | 16 | for a in ega.h i8042.h i8259.h i8254.h interrupt.h bios mm/memory_init.h; do |
17 | echo ln -sf `pwd`/ia32/include/$a amd64/include/$a |
||
18 | ln -sf `pwd`/ia32/include/$a amd64/include/$a |
||
206 | palkovsky | 19 | done |
242 | palkovsky | 20 | ) |
206 | palkovsky | 21 | make dist-clean ARCH=ia32 |
164 | palkovsky | 22 | make all ARCH=amd64 |