diff options
| -rw-r--r-- | tools/configure/configureapp.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/configure/configureapp.cpp b/tools/configure/configureapp.cpp index ab4e091d6b..99cc69eb5f 100644 --- a/tools/configure/configureapp.cpp +++ b/tools/configure/configureapp.cpp @@ -2677,6 +2677,14 @@ bool Configure::verifyConfiguration() } } + if (dictionary["OPENGL"] == "no" || dictionary["OPENGL_ES_2"] == "no") { + if (dictionary.value("XQMAKESPEC").startsWith("winphone") || + dictionary.value("XQMAKESPEC").startsWith("winrt")) { + cout << "ERROR: Option -no-opengl is not valid for WinRT." << endl; + dictionary[ "DONE" ] = "error"; + } + } + if (prompt) promptKeyPress(); |