|
|
1.1 ! root 1: : 'Check if make all went allright.' ! 2: ! 3: bint="$1" ! 4: ! 5: errors="no" ! 6: ! 7: if test ! -r bin/b ! 8: then ! 9: echo "*** Failed to install b in ./bin" ! 10: errors="yes" ! 11: fi ! 12: ! 13: for f in bed $bint Bed_help ! 14: do ! 15: if test ! -r lib/$f ! 16: then ! 17: echo "*** Failed to install $f in ./lib" ! 18: errors="yes" ! 19: fi ! 20: done ! 21: ! 22: case $errors in ! 23: yes) ! 24: exit 1 ! 25: ;; ! 26: no) ! 27: echo "The './bin/b' command should now work." ! 28: echo "You can try the B interpreter with 'make examples'." ! 29: exit 0 ! 30: ;; ! 31: esac
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.