diff options
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/travis-build.sh | 2 | ||||
| -rwxr-xr-x | build-aux/travis-deploy.sh | 2 | ||||
| -rwxr-xr-x | build-aux/valgrind.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/build-aux/travis-build.sh b/build-aux/travis-build.sh index 53cf589..106c230 100755 --- a/build-aux/travis-build.sh +++ b/build-aux/travis-build.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -ex diff --git a/build-aux/travis-deploy.sh b/build-aux/travis-deploy.sh index 51aac3e..dea0b0f 100755 --- a/build-aux/travis-deploy.sh +++ b/build-aux/travis-deploy.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e diff --git a/build-aux/valgrind.sh b/build-aux/valgrind.sh index 4db7477..3de3855 100755 --- a/build-aux/valgrind.sh +++ b/build-aux/valgrind.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e |