From ab376935137b8289c9c5485f0faf67a38a19d8ad Mon Sep 17 00:00:00 2001 From: b Date: Tue, 20 Feb 2024 00:25:13 +0000 Subject: [PATCH] use faster version of config tool --- config | 2 +- makefile | 2 +- makefile.1.mak | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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 $@ $< -- 2.30.2