2021-02-08 09:19:00 -08:00
|
|
|
#!/bin/sh
|
|
|
|
|
2021-03-01 06:24:11 -08:00
|
|
|
if [ "$MODE" = dbg ]; then
|
2021-02-25 18:30:17 -08:00
|
|
|
exit # TODO
|
|
|
|
fi
|
|
|
|
|
2021-10-14 19:36:49 -07:00
|
|
|
if [ "$MODE" = opt ] || [ "$MODE" = optlinux ]; then
|
2021-06-11 16:47:48 -07:00
|
|
|
exit
|
|
|
|
fi
|
|
|
|
|
2021-02-08 09:19:00 -08:00
|
|
|
# smoke test userspace binary emulation
|
|
|
|
CMD="o/$MODE/tool/build/blinkenlights.com.dbg o/$MODE/examples/hello.com"
|
|
|
|
if OUTPUT="$($CMD)"; then
|
|
|
|
if [ x"$OUTPUT" = x"hello world" ]; then
|
|
|
|
exit 0
|
|
|
|
else
|
|
|
|
printf '%s\n' "error: $CMD printed wrong output: $OUTPUT" >&2
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
else
|
|
|
|
RC=$?
|
|
|
|
printf '%s\n' "error: $CMD failed: $RC" >&2
|
|
|
|
exit $RC
|
|
|
|
fi
|