: 'Check if make install went allright.' bint="$1" bdir="$2" man1dir="$3" man5dir="$4" libdir="$5" errors="no" if test ! -r $bdir/b then echo "*** Failed to install b in $bdir" errors="yes" fi for f in bed $bint Bed_help do if test ! -r $libdir/$f then echo "*** Failed to install $f in $libdir" errors="yes" fi done if test ! -r $man1dir/b.1 then echo "*** Failed to install b.1 manual in $man1dir" errors="yes" fi if test ! -r $man5dir/bterminal.5 then echo "*** Failed to install bterminal.5 manual in $man5dir" errors="yes" fi case $errors in yes) exit 1 ;; no) echo "The B system is installed." echo "You can cleanup with 'make clean'." exit 0 ;; esac