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 () {
echo "Enabling Windows 32 cross-compiling"
win32crosscompile="yes"
;;
+ "") # Match enter press when finished with advanced options
+ cont=0
+ ;;
*)
- if [ "$interact" ]; then
- cont=0
- else
- echo "[ERROR] Option $option unsupported"
- fi
+ echo "[ERROR] Option $option unsupported"
;;
esac
if [ "$interact" ]; then