diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 9 |
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 |