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

env ls 1[0-9][0-9]*/all.do | sed 's/\.do$//' | xargs redo
110-compile/hello >&2