Messages in this thread Patch in this message |  | | | Date | Fri, 11 Apr 1997 18:01:26 +0000 (GMT) | | From | Philip Blundell <> | | Subject | sound makefile |
| |
Hi.
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
|  |