--- config/install.sh.orig Wed Aug 5 13:43:43 1998 +++ config/install.sh Sat Jan 29 20:46:09 2000 @@ -181,6 +181,18 @@ if [ "$?" != "0" ]; then exit $? fi +# we need to patch just before build +echo "applying source patches" +patch_file="${FILESDIR}/patch-global-names" +if [ -f $patch_file ]; then + $PATCH $PATCH_ARGS < $patch_file +fi +if grep -w FPE_INTDIV /usr/include/machine/trap.h > /dev/null 2>&1; then + patch_file="${FILESDIR}/patch-signals" + if [ -f $patch_file ]; then + $PATCH $PATCH_ARGS < $patch_file + fi +fi if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then cd $SRCDIR/runtime/objs echo "compiling the run-time system"