use faster version of config tool

diff --git a/config b/config
index cc70d0da5dd780e2b7b97672cc0638fd91196ee3..7154627e28ef027582050f54ea47e006ec8fad50 160000 (submodule)
--- a/config
+++ b/config
@@ -1 +1 @@
-Subproject commit cc70d0da5dd780e2b7b97672cc0638fd91196ee3
+Subproject commit 7154627e28ef027582050f54ea47e006ec8fad50

diff --git a/makefile b/makefile
index c6678fafbce75036fe6cac4f686809db72bf1107..429ef33d041358d5a6fa95dd80e2e69e43548437 100644 (file)
--- a/makefile
+++ b/makefile
@@ -266,7 +266,7 @@ configure.pl: $(CONFIGFILE) config/configure.1.pl
 
 
 $(TO_GENERATE): $(GENERATE_FROM) $(CONFIGFILE) configure.pl
-       $(CONFIGURE_CMD) --in $(GENERATE_FROM) --out $(TO_GENERATE)
+       $(CONFIGURE_CMD) --v --in $(GENERATE_FROM) --out $(TO_GENERATE)
 
 $(C): %: %.c
        $(CC) $(CF) -o $@ $<

diff --git a/makefile.1.mak b/makefile.1.mak
index d3148d5ad7c1ee041c8113a23606e98da5223b90..8104ac1648d2ba14cb1f8a46dab71cd5c2d43b7d 100644 (file)
--- a/makefile.1.mak
+++ b/makefile.1.mak
@@ -266,7 +266,7 @@ configure.pl: $(CONFIGFILE) config/configure.1.pl
 
 
 $(TO_GENERATE): $(GENERATE_FROM) $(CONFIGFILE) configure.pl
-       $(CONFIGURE_CMD) --in $(GENERATE_FROM) --out $(TO_GENERATE)
+       $(CONFIGURE_CMD) --v --in $(GENERATE_FROM) --out $(TO_GENERATE)
 
 $(C): %: %.c
        $(CC) $(CF) -o $@ $<