diff options
| author | Andor Penzes <andor.penzes@gmail.com> | 2015-12-24 21:21:57 +0100 |
|---|---|---|
| committer | Andor Penzes <andor.penzes@gmail.com> | 2015-12-25 13:32:37 +0100 |
| commit | 331fdf92c2e6db5f0b3d3f3f3826a2bec32512ce (patch) | |
| tree | 049e43cfc295232bb51aa486916d7878c4c3f39d /run-test-suite.sh | |
| parent | d9aff61e9567d442e154924bb70bb5e89182a8e9 (diff) | |
Quit test suite run on error
Diffstat (limited to 'run-test-suite.sh')
| -rwxr-xr-x | run-test-suite.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-test-suite.sh b/run-test-suite.sh index b0a0e3c2..70886b9e 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash -e |
| 2 | 2 | ||
| 3 | if [ "$1" == "--profile" ] ; then | 3 | if [ "$1" == "--profile" ] ; then |
| 4 | shift | 4 | shift |