make: add a dependency of "configure" on "VERSION"

Macaulay2 · May 26, 2021 · 7c5e215 · 7c5e215
1 parent 104c354
commit 7c5e215
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/M2/Makefile b/M2/Makefile
@@ -36,7 +36,7 @@ check-make:
 	@ echo GNU make version okay
 
 make-configure : check-autoconf configure
-configure: configure.ac config/files config/*.m4; autoconf
+configure: configure.ac VERSION config/files config/*.m4; autoconf
 
 get-tools: usr-build/aclocal-path get-m4 get-autoconf get-automake get-libtool usr-build/aclocal-path2 which-tools
 which-tools: