Would the attached patch be likely to have any ill effects? It makes
`make xconfig' faster.
p.
diff -u -r1.1.1.1 Makefile
--- linux/drivers/sound/Makefile 1997/03/21 17:40:09 1.1.1.1
+++ linux/drivers/sound/Makefile 1997/04/11 17:29:20
@@ -107,9 +107,7 @@
# @echo \#define SOUND_CONFIG_DOMAIN \"`hostname -d`\" >> local.h 2>/dev/null
@echo \#define SOUND_UNAME_A \"`uname -a`\" >> local.h
-kernelconfig: setup
- rm -f configure
- $(HOSTCC) -o configure configure.c
+kernelconfig: setup configure
./configure fixedlocal > local.h
./configure fixeddefines > .defines
@echo \#define SOUND_CONFIG_DATE \"`date`\" >> local.h
@@ -118,9 +116,7 @@
# @echo \#define SOUND_CONFIG_DOMAIN \"`hostname -d`\" >> local.h 2>/dev/null
@echo \#define SOUND_UNAME_A \"`uname -a`\" >> local.h
-mkscript: setup
- rm -f configure
- $(HOSTCC) -o configure configure.c
+mkscript: setup configure
./configure script > Config.in
cat lowlevel/Config.tmpl >> Config.in
./configure fixedlocal > local.h