diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-26 17:18:11 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-26 17:18:11 +0100 |
| commit | 738568eeb34eb4ef4972d0ad137ce931f3dcb1f0 (patch) | |
| tree | 0aa1f33db6f2d1db9ef2c23f8fdef367d35a6b15 /run-test-suite.sh | |
| parent | 617464c5c7285dfa7f89c7c9bb9dca0c0398421c (diff) | |
switch back to bash
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 ded9f41a..5a7cead1 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | #!/bin/sh -e | 1 | #!/bin/bash -e |
| 2 | 2 | ||
| 3 | if [ "$1" == "--profile" ] ; then | 3 | if [ "$1" == "--profile" ] ; then |
| 4 | shift | 4 | shift |