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 \ | 
