From: b <rowerynaksiezycu@gmail.com>
Date: Tue, 20 Feb 2024 00:25:13 +0000 (+0000)
Subject: use faster version of config tool
X-Git-Url: http://bicyclesonthemoon.info/git-projects/?a=commitdiff_plain;h=ab376935137b8289c9c5485f0faf67a38a19d8ad;p=ott%2Fmirror

use faster version of config tool
---

diff --git a/config b/config
index cc70d0d..7154627 160000
--- a/config
+++ b/config
@@ -1 +1 @@
-Subproject commit cc70d0da5dd780e2b7b97672cc0638fd91196ee3
+Subproject commit 7154627e28ef027582050f54ea47e006ec8fad50
diff --git a/makefile b/makefile
index c6678fa..429ef33 100644
--- 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 d3148d5..8104ac1 100644
--- 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 $@ $<