summaryrefslogtreecommitdiff
path: root/bootstrap.sh
diff options
context:
space:
mode:
Diffstat (limited to 'bootstrap.sh')
-rwxr-xr-xbootstrap.sh10
1 files changed, 10 insertions, 0 deletions
diff --git a/bootstrap.sh b/bootstrap.sh
index 161fa41..2597065 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -78,5 +78,15 @@ if [ "$(./out04)" != 'Hello, world!' ]; then
fi
cd ..
+echo 'Processing stage 04a...'
+cd 04a
+rm -f out*
+make -s out04a
+if [ "$(sed '/^#/d;/^$/d' out04a)" != 'Hello, world!' ]; then
+ echo_red 'Stage 04a failed.'
+ exit 1
+fi
+cd ..
+
echo_green 'all stages completed successfully!'