diff options
Diffstat (limited to 'do_cmake.sh')
| -rwxr-xr-x | do_cmake.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/do_cmake.sh b/do_cmake.sh index 4cb07c106b6..8779d721339 100755 --- a/do_cmake.sh +++ b/do_cmake.sh @@ -14,6 +14,7 @@ if [ -e $BUILD_DIR ]; then fi PYBUILD="2" +ARGS="-GNinja" if [ -r /etc/os-release ]; then source /etc/os-release case "$ID" in |