diff options
Diffstat (limited to 'tools/configure/main.cpp')
| -rw-r--r-- | tools/configure/main.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/configure/main.cpp b/tools/configure/main.cpp index 1b402b1a59..c4154c8f38 100644 --- a/tools/configure/main.cpp +++ b/tools/configure/main.cpp @@ -58,6 +58,8 @@ int runConfigure( int argc, char** argv ) #if !defined(EVAL) app.validateArgs(); #endif + if (!app.isOk()) + return 3; if( app.displayHelp() ) return 1; |