--- config.sh.orig Mon Nov 23 09:51:15 1998 +++ config.sh Thu Dec 24 08:41:14 1998 @@ -56,20 +56,24 @@ fi fi +if [ `uname` = FreeBSD ]; then # FreeBSD +LIB=$USR_DIR/share/$TCB +else LIB=$USR_DIR/lib/$TCB +fi BIN=$USR_DIR/bin MAN=$USR_DIR/man/man1 cat >> .config </dev/null && make -v 2>&1|grep 'GNU Make' >/dev/null 2>&1 && which sed >/dev/null; then +if which grep >/dev/null && gmake -v 2>&1|grep 'GNU Make' >/dev/null 2>&1 && which sed >/dev/null; then cat >> .config < install.sh <