diff options
Diffstat (limited to 'tools/configure/main.cpp')
| -rw-r--r-- | tools/configure/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure/main.cpp b/tools/configure/main.cpp index 0e13c7a3b..e5c04cc91 100644 --- a/tools/configure/main.cpp +++ b/tools/configure/main.cpp @@ -95,7 +95,7 @@ int runConfigure( int argc, char** argv ) #endif if( !app.isDone() ) app.generateMakefiles(); - if( !app.isDone() && app.isOk() ) + if( !app.isDone() ) app.buildHostTools(); if( !app.isDone() ) app.showSummary(); |