Fix some configuration-related oddness.

diff --git a/config/abc.m4 b/config/abc.m4
index 0d91a36a5d0161f5e54ec0dfcefe05d7801eb96b..faeb68cf202367af40e911b9b1a53b72da8fcf3c 100644 (file)
--- a/config/abc.m4
+++ b/config/abc.m4
@@ -9,7 +9,7 @@ ABC_LIBS=
 ABC_LDFLAGS=
 if test "$with_abc" = no; then
   AC_MSG_RESULT([no, abc disabled by user])
-elif test "$with_abc" = yes; then
+elif test -n "$with_abc"; then
   AC_MSG_RESULT([yes, abc requested by user])
 
   # Get the location of all the ABC stuff

diff --git a/config/glpk.m4 b/config/glpk.m4
index 2799d5a77c573cefe32cf3accbefe70eac23fec0..8d16fceee7518c34302319c06096636f9e4e9375 100644 (file)
--- a/config/glpk.m4
+++ b/config/glpk.m4
@@ -9,7 +9,7 @@ GLPK_LIBS=
 GLPK_LDFLAGS=
 if test "$with_glpk" = no; then
   AC_MSG_RESULT([no, glpk disabled by user])
-elif test "$with_glpk" = yes; then
+elif test -n "$with_glpk"; then
   AC_MSG_RESULT([yes, glpk requested by user])
 
   # Get the location of all the GLPK stuff