diff options
Diffstat (limited to 'bootstrap.sh')
-rwxr-xr-x | bootstrap.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 398084d..7a374d0 100755 --- a/bootstrap.sh +++ b/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!' |