: 'Check if make all went allright.' bint="$1" errors="no" if test ! -r bin/b then echo "*** Failed to install b in ./bin" errors="yes" fi for f in bed $bint Bed_help do if test ! -r lib/$f then echo "*** Failed to install $f in ./lib" errors="yes" fi done case $errors in yes) exit 1 ;; no) echo "The './bin/b' command should now work." echo "You can try the B interpreter with 'make examples'." exit 0 ;; esac