diff options
Diffstat (limited to 'tools/configure/main.cpp')
| -rw-r--r-- | tools/configure/main.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/configure/main.cpp b/tools/configure/main.cpp index d4f654150e..4d887023b4 100644 --- a/tools/configure/main.cpp +++ b/tools/configure/main.cpp @@ -42,7 +42,6 @@ int runConfigure( int argc, char** argv ) return 3; app.parseCmdLine(); - app.validateArgs(); if (!app.isOk()) return 3; if( app.displayHelp() ) |