From 90422d8835b8a936c28f8911e2c33c45775df031 Mon Sep 17 00:00:00 2001
From: Alec Berryman <alec@thened.net>
Date: Wed, 2 Dec 2009 10:34:37 -0600
Subject: [PATCH] build-support/factor.sh: allow user to specify NO_UI

---
 build-support/factor.sh | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/build-support/factor.sh b/build-support/factor.sh
index d54f9d8a77..d090433d98 100755
--- a/build-support/factor.sh
+++ b/build-support/factor.sh
@@ -11,7 +11,7 @@ ECHO=echo
 OS=
 ARCH=
 WORD=
-NO_UI=
+NO_UI=${NO_UI-}
 GIT_PROTOCOL=${GIT_PROTOCOL:="git"}
 GIT_URL=${GIT_URL:=$GIT_PROTOCOL"://factorcode.org/git/factor.git"}
 SCRIPT_ARGS="$*"
@@ -132,9 +132,11 @@ check_library_exists() {
 }
 
 check_X11_libraries() {
-    check_library_exists GL
-    check_library_exists X11
-    check_library_exists pango-1.0
+    if [ -z "$NO_UI" ]; then
+        check_library_exists GL
+        check_library_exists X11
+        check_library_exists pango-1.0
+    fi
 }
 
 check_libraries() {