Merge pull request linbox-team#227 from orlitzky/fix-configure-bashism

Thanks ! configure.ac: fix a bashism
Macaulay2 · Mar 2, 2024 · fc6cac7 · fc6cac7
2 parents b0cf33e + 1132161
commit fc6cac7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure.ac b/configure.ac
@@ -121,7 +121,7 @@ AS_ECHO([---------------------------------------])
 
 # Look for GMP and add flags if necessary
 GIV_CHECK_GMP(40000)
-REQUIRED_FLAGS+=" ${GMP_CFLAGS}"
+REQUIRED_FLAGS="${REQUIRED_FLAGS} ${GMP_CFLAGS}"
 
 GIV_DOC