Run autogen.sh for re-generating configure script from Makefile

[ci skip]
d-torrance · Nov 4, 2024 · 6a1ee7c · 6a1ee7c
1 parent 26c1f75
commit 6a1ee7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/M2/Makefile.in b/M2/Makefile.in
@@ -67,7 +67,7 @@ clean:
 	if [ -f Makefile ] ; then $(MAKE) -f Makefile clean-tools ; fi
 
 install: configured; $(MAKE) -C distributions $@
-@srcdir@/configure : @srcdir@/configure.ac @srcdir@/m4/files; $(MAKE) -C @srcdir@ -f Makefile
+@srcdir@/configure : @srcdir@/configure.ac @srcdir@/m4/files; @srcdir@/autogen.sh
 recheck config.status: @srcdir@/configure @srcdir@/Macaulay2/packages/=distributed-packages
 	$(WHY)
 	./config.status --recheck