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 | 4 |
3 files changed, 2 insertions, 6 deletions
diff --git a/build-aux/travis-build.sh b/build-aux/travis-build.sh index 106c230..53cf589 100755 --- a/build-aux/travis-build.sh +++ b/build-aux/travis-build.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -ex diff --git a/build-aux/travis-deploy.sh b/build-aux/travis-deploy.sh index dea0b0f..51aac3e 100755 --- a/build-aux/travis-deploy.sh +++ b/build-aux/travis-deploy.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e diff --git a/build-aux/valgrind.sh b/build-aux/valgrind.sh index 3de3855..64091a1 100755 --- a/build-aux/valgrind.sh +++ b/build-aux/valgrind.sh @@ -1,7 +1,3 @@ -#!/bin/sh - -set -e - export TESTS_ENVIRONMENT=" ${VALGRIND:-valgrind} \ --tool=memcheck \ |