* ./Makefile : src/misc/modules_builtin.h now depends on Makefile.config.

diff --git a/Makefile b/Makefile
index 5f8046a2659e66c11f91a79b4a771123e9809e42..fc9b5090f5c43313283ffbeea8c3d4529ce96d95 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -527,7 +527,7 @@ FORCE:
 #
 # Generic rules (see below)
 #
-src/misc/modules_builtin.h: Makefile.opts Makefile
+src/misc/modules_builtin.h: Makefile.opts Makefile Makefile.config
        @echo "make[$(MAKELEVEL)]: Creating \`$@'"
        @rm -f $@ && cp $@.in $@
 ifneq (,$(BUILTINS))