diff options
author | Thomas Brand <tom@trellis.ch> | 2019-01-27 14:25:44 +0100 |
---|---|---|
committer | Thomas Brand <tom@trellis.ch> | 2019-01-27 14:25:44 +0100 |
commit | 64d1f6dab1372fe82333e4f2d9652138c41d824f (patch) | |
tree | 4ca1e09fb6e6d7ba451c19cc8abbf0085b6b5dd5 | |
parent | bc794b02df35569ad77ad927986b9266f19d493a (diff) | |
download | jack2-64d1f6dab1372fe82333e4f2d9652138c41d824f.tar.gz |
Test: use /bin/bash
-rwxr-xr-x | .ci/test_run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/test_run.sh b/.ci/test_run.sh index 44ea3367..b8b86050 100755 --- a/.ci/test_run.sh +++ b/.ci/test_run.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash echo "`date`" echo "$TRAVIS_OS_NAME" |