01 done
This commit is contained in:
parent
bd739d7205
commit
f71545c939
6 changed files with 372 additions and 123 deletions
11
bootstrap.sh
11
bootstrap.sh
|
@ -36,4 +36,15 @@ fi
|
|||
rm -f out00
|
||||
cd ..
|
||||
|
||||
cd 01
|
||||
rm -f out0[01]
|
||||
make -s out01
|
||||
if [ "$(./out01)" != 'Hello, world!' ]; then
|
||||
echo_red 'Stage 01 failed.'
|
||||
exit 1
|
||||
fi
|
||||
rm -f out0[01]
|
||||
cd ..
|
||||
|
||||
|
||||
echo_green 'all stages completed successfully!'
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue