summaryrefslogtreecommitdiff
path: root/tools/configure
diff options
context:
space:
mode:
Diffstat (limited to 'tools/configure')
-rwxr-xr-xtools/configure9
1 files changed, 4 insertions, 5 deletions
diff --git a/tools/configure b/tools/configure
index 9f7c63f569..0896e5b699 100755
--- a/tools/configure
+++ b/tools/configure
@@ -491,12 +491,11 @@ whichadvanced () {
491 echo "Enabling Windows 32 cross-compiling" 491 echo "Enabling Windows 32 cross-compiling"
492 win32crosscompile="yes" 492 win32crosscompile="yes"
493 ;; 493 ;;
494 "") # Match enter press when finished with advanced options
495 cont=0
496 ;;
494 *) 497 *)
495 if [ "$interact" ]; then 498 echo "[ERROR] Option $option unsupported"
496 cont=0
497 else
498 echo "[ERROR] Option $option unsupported"
499 fi
500 ;; 499 ;;
501 esac 500 esac
502 if [ "$interact" ]; then 501 if [ "$interact" ]; then