--- /dev/null
+rm -f 000-set-minus-e/log
+redo 000-set-minus-e/all
+if [ "$(cat 000-set-minus-e/log)" != "ok" ]; then
+ echo "FATAL! .do file not run with 'set -e' in effect!" >&2
+ exit 5
+fi
+
+/bin/ls 1[0-9][0-9]*/all.do | sed 's/\.do$//' | xargs redo
+110-compile/hello >&2