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