configure: Allow '--disable-parallel-mark' even if no threads

* configure.ac (parallel-mark): Do not report configuration error if
"--disable-parallel-mark" is specified (and threads are not enabled).

diff --git a/configure.ac b/configure.ac
index b467c96d5bfcbaabee1ebadcb188047537507178..786864f9db7bb10bc698332605b53f6b8b72aa81 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -113,7 +113,9 @@ AC_ARG_ENABLE(parallel-mark,
         [parallelize marking and free list construction])],
    [case "$THREADS" in
       no | none | single)
-        AC_MSG_ERROR([Parallel mark requires --enable-threads=x spec])
+        if test "${enable_parallel_mark}" != no; then
+          AC_MSG_ERROR([Parallel mark requires --enable-threads=x spec])
+        fi
         ;;
     esac ]
 )