diff options
author | Guillaume Chatelet <gchatelet@google.com> | 2019-01-17 17:25:56 +0300 |
---|---|---|
committer | Guillaume Chatelet <gchatelet@google.com> | 2019-01-17 17:25:56 +0300 |
commit | dc7a9ee6979b6351586048d16d6160d8de10cff5 (patch) | |
tree | 823312b381fddae330ec136c33e0a5606160ada9 | |
parent | 50f782f8efbed9d12a538ce87474f24d55e26f75 (diff) |
Use Ninja by default when locally testing all configurations
-rwxr-xr-x | scripts/test_integration.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/test_integration.sh b/scripts/test_integration.sh index d180e48..0739dd3 100755 --- a/scripts/test_integration.sh +++ b/scripts/test_integration.sh @@ -79,6 +79,8 @@ ENVIRONMENTS=" set -v set -e +CMAKE_GENERATOR="Ninja" + for SET_ENVIRONMENT in ${ENVIRONMENTS}; do ${SET_ENVIRONMENT} expand_environment_and_integrate |