diff options
author | Guillaume Chatelet <gchatelet@google.com> | 2019-01-21 12:19:21 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-21 12:19:21 +0300 |
commit | 6984510879ff2ce7ae2fc22c3c056f67e55ce9aa (patch) | |
tree | 4b6733ad128b912693499709b1432556aabc63b2 /scripts | |
parent | 4155ee7e369e2c1b6f47b16a5a5343cd9a086be7 (diff) |
Remove verbosity from script
Users of this script shoud set it from outside:
`VERBOSE=1 bash -x scrpts/test_integration.sh`
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/test_integration.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/test_integration.sh b/scripts/test_integration.sh index d7d5943..97c6a76 100755 --- a/scripts/test_integration.sh +++ b/scripts/test_integration.sh @@ -75,7 +75,6 @@ ENVIRONMENTS=" set_mips " -set -x set -e CMAKE_GENERATOR="Ninja" |