update bootstrap.sh
This commit is contained in:
parent
2288e47516
commit
8f527338ae
1 changed files with 11 additions and 1 deletions
12
bootstrap.sh
12
bootstrap.sh
|
@ -45,7 +45,17 @@ if [ "$(./out01)" != 'Hello, world!' ]; then
|
|||
echo_red 'Stage 01 failed.'
|
||||
exit 1
|
||||
fi
|
||||
rm -f out0[01]
|
||||
rm -f out01
|
||||
cd ..
|
||||
|
||||
echo 'Processing stage 02...'
|
||||
cd 02
|
||||
rm -rf out0[12]
|
||||
make -s out02
|
||||
if [ "$(./out02)" != 'Hello, world!' ]; then
|
||||
echo_red 'Stage 02 failed.'
|
||||
exit 1
|
||||
fi
|
||||
cd ..
|
||||
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue