]> Zhao Yanbai Git Server - minix.git/commitdiff
configure.llvm: add INTERACTIVE environment variable which can be set to no to preven...
authorErik van der Kouwe <erik@minix3.org>
Sat, 21 Jun 2014 14:08:42 +0000 (07:08 -0700)
committerLionel Sambuc <lionel@minix3.org>
Mon, 28 Jul 2014 15:06:09 +0000 (17:06 +0200)
minix/llvm/configure.llvm

index 1b370257db35d3be06b0f2789df47f12477bc142..7d6866c74231c4cb09cea9fc149411ae5f557ad1 100755 (executable)
@@ -51,7 +51,11 @@ if [ "${ROOT}" == "" ]; then
        echo "Please specify the path to the \"llvm-apps\" repository..."
        echo "Default value: ${DEFAULT_LLVM_ROOT} . "
        echo "If this is correct, press ENTER. Otherwise please enter the path."
-       read response
+       if [ "$INTERACTIVE" = "no" ]; then
+               response=""
+       else
+               read response
+       fi
 
        if [ "" == "${response}" ]; then
                ROOT=${DEFAULT_LLVM_ROOT}
@@ -88,7 +92,11 @@ fi
 
 if [ "${GEN_GOLD_PLUGIN}" == "yes" ] && [ -f "${MYPWD}/.gold_generated" ]; then
        echo "It is found that Gold plugin has already been generated. Would you like to re-generate? [y | n]"
-       read response
+       if [ "$INTERACTIVE" == "no" ]; then
+               response=n
+       else
+               read response
+       fi
        if [ "y" == "$response" ] || [ "Y" == "$response" ]; then
                echo "Gold shall be regenerated."
        else