diff options
Diffstat (limited to 'src/baremetal')
| -rwxr-xr-x | src/baremetal/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/baremetal/run.sh b/src/baremetal/run.sh index aec9d20..467e86e 100755 --- a/src/baremetal/run.sh +++ b/src/baremetal/run.sh @@ -78,7 +78,7 @@ if [ "$mode" = run ] || [ "$mode" = io ]; then timeout=120 fi elif [ "$mode" = compile ]; then - cp src/micro/micro.c src/micro/micro_port.h src/core/memmap.h src/core/genome.h src/core/fops.h src/core/bops.h src/core/stack.h "$D/" + cp src/micro/micro.c src/micro/micro_port.h src/core/memmap.h build/core/genome.h src/core/fops.h src/core/bops.h src/core/stack.h "$D/" "$cc" $common $def -I"$D" -c "$D/micro.c" -o "$D/micro.o" "$cc" $common $def -DBARE_INPUT=1 -I"$D" -c src/baremetal/port.c -o "$D/port.o" timeout=90 |