diff options
| -rwxr-xr-x | bootstrap.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index cd63ddd..5d326c5 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -58,5 +58,15 @@ if [ "$(./out02)" != 'Hello, world!' ]; then fi cd .. +echo 'Processing stage 03...' +cd 03 +rm -rf out0[23] +make -s out03 +if [ "$(./out03)" != 'Hello, world!' ]; then + echo_red 'Stage 03 failed.' + exit 1 +fi +cd .. + echo_green 'all stages completed successfully!' |