From 94f59dcfc57f95ae044f75c3ce544329c8956c35 Mon Sep 17 00:00:00 2001 From: Darren Tucker Date: Sat, 1 Mar 2025 10:28:59 +1100 Subject: [PATCH] Rebuild config files if Makefile changes. This ensures paths are updated if they are changed by re-running configure. Patch from rapier at psc.edu. --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 01f3756a8..974be207a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -296,7 +296,7 @@ $(MANPAGES): $(MANPAGES_IN) $(FIXPATHSCMD) $${manpage} | $(FIXALGORITHMSCMD) > $@; \ fi -$(CONFIGFILES): $(CONFIGFILES_IN) +$(CONFIGFILES): $(CONFIGFILES_IN) Makefile conffile=`echo $@ | sed 's/.out$$//'`; \ $(FIXPATHSCMD) $(srcdir)/$${conffile} > $@