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 () { | |||
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 |