diff options
author | Alexandre Rames <alexandre.rames@linaro.org> | 2016-05-18 13:47:42 +0100 |
---|---|---|
committer | Alexandre Rames <alexandre.rames@linaro.org> | 2016-05-18 13:47:42 +0100 |
commit | 7c0ea8b64c6907a69ea79b3dd6d9f4dcec918b66 (patch) | |
tree | 8a50b206f5f09a0c955c503ad18721b68b3ebcf6 /tools | |
parent | ba1832c903ae9ee05885ee9dd536d9291fcb094d (diff) |
Set the exit code in `tools/test.py` to indicate success or failure.
Change-Id: If7ad98423ed2a58ad201c7c71c93b95781739e5a
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/test.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/test.py b/tools/test.py index b89ac08f..1b344ca8 100755 --- a/tools/test.py +++ b/tools/test.py @@ -427,3 +427,5 @@ if __name__ == '__main__': rc |= RunBenchmarks() PrintStatus(rc == 0) + + sys.exit(rc) |