buildsys: fix --without-readline

gap-system · Jan 12, 2023 · d16a6e2 · d16a6e2
1 parent 644ee27
commit d16a6e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure.ac b/configure.ac
@@ -762,7 +762,7 @@ LIBS=${save_LIBS}
 
 AS_IF([test x$readline_found = xno],[
   AC_MSG_RESULT([no])
-  AS_IF([test x$with_readline != xcheck],[
+  AS_IF([test x$with_readline != xcheck && test x$with_readline != xno],[
     AC_MSG_FAILURE([--with-readline was given, but further tests for readline failed])
   ])
   READLINE_CPPFLAGS=