diff options
author | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2016-10-12 01:35:56 +0200 |
---|---|---|
committer | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2016-10-12 01:40:57 +0200 |
commit | bc7d2545d47bf54acebb38ab3d1e2dd7251ddb99 (patch) | |
tree | 32d99afa6dca410f300bfc3a12e8548abbeb0ea3 /build-aux/valgrind.sh | |
parent | 9d0ef0268f7903fd91ef11ed055a7714a70c7c29 (diff) | |
download | blogc-bc7d2545d47bf54acebb38ab3d1e2dd7251ddb99.tar.gz blogc-bc7d2545d47bf54acebb38ab3d1e2dd7251ddb99.tar.bz2 blogc-bc7d2545d47bf54acebb38ab3d1e2dd7251ddb99.zip |
build: man: tests: do not use bash
tested with busybox' ash, that is not exactly posix.
Diffstat (limited to 'build-aux/valgrind.sh')
-rwxr-xr-x | build-aux/valgrind.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |