|
|
1.1 ! root 1: : 'Check if make install went allright.' ! 2: ! 3: bint="$1" ! 4: bdir="$2" ! 5: man1dir="$3" ! 6: man5dir="$4" ! 7: libdir="$5" ! 8: ! 9: errors="no" ! 10: ! 11: if test ! -r $bdir/b ! 12: then ! 13: echo "*** Failed to install b in $bdir" ! 14: errors="yes" ! 15: fi ! 16: ! 17: for f in bed $bint Bed_help ! 18: do ! 19: if test ! -r $libdir/$f ! 20: then ! 21: echo "*** Failed to install $f in $libdir" ! 22: errors="yes" ! 23: fi ! 24: done ! 25: ! 26: if test ! -r $man1dir/b.1 ! 27: then ! 28: echo "*** Failed to install b.1 manual in $man1dir" ! 29: errors="yes" ! 30: fi ! 31: ! 32: if test ! -r $man5dir/bterminal.5 ! 33: then ! 34: echo "*** Failed to install bterminal.5 manual in $man5dir" ! 35: errors="yes" ! 36: fi ! 37: ! 38: case $errors in ! 39: yes) ! 40: exit 1 ! 41: ;; ! 42: no) ! 43: echo "The B system is installed." ! 44: echo "You can cleanup with 'make clean'." ! 45: exit 0 ! 46: ;; ! 47: esac
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.