From 191b98fb51580f9c7e54b533433c95b56602cb5a Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 26 Sep 2014 08:16:38 -0400
Subject: [PATCH] Fix some configuration-related oddness.

---
 config/abc.m4  | 2 +-
 config/glpk.m4 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/abc.m4 b/config/abc.m4
index 0d91a36a5..faeb68cf2 100644
--- 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 2799d5a77..8d16fceee 100644
--- 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
-- 
2.30.2