|
|
1.1 root 1: # @(#) build.sh 1.0 84Sep18 mikec
2: # Enhanced version of build (which is an enhanced version of make). This one
3: # allows the VPATH assignment to be in the makefile
4: #
5: # Michael Condict 9/84
6: #
7: for i do
8: if [ "$use_next_arg" ] ; then
9: makefile="$i"
10: break
11: fi
12: case "$i" in
13: -f) use_next_arg=true ;;
14: -f?*) makefile=`echo "$i" | sed -e s/-f//` ;;
15: esac
16: done
17:
18: # Use VPATH to find the makefile:
19: if [ "$VPATH" = "" ] ; then VPATH=. ; fi
20:
21: for f in `echo "$VPATH" | sed -e 's/:/ /'` ; do
22: if [ ! "$makefile" ] ; then
23: if [ -f "$f/makefile" ] ; then
24: makefile="$f/makefile" ; break
25: elif [ -f "$f/Makefile" ] ; then
26: makefile="$f/Makefile" ; break
27: fi
28: else
29: if [ -f "$f/$makefile" ] ; then
30: makefile="$f/$makefile" ; break
31: fi
32: fi
33: done
34:
35: if [ -r "$makefile" ] ; then
36: vpath_line="`grep '^ *VPATH *=' $makefile | sed -e 's/ //g'`"
37: if [ "$vpath_line" ] ; then
38: eval "$vpath_line"
39: export VPATH
40: fi
41: fi
42: MAKE=/usr/630/bin/build
43: export MAKE
44: exec /usr/630/bin/build.obj "$@"
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.