|
|
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.