diff options
author | pgen <p.gen.progs@gmail.com> | 2019-03-14 21:18:24 +0100 |
---|---|---|
committer | pgen <p.gen.progs@gmail.com> | 2019-03-17 20:46:10 +0100 |
commit | 5d4d2db9308b7ab69fc1b6ea1667cc7e314b11f5 (patch) | |
tree | 6f0b9d0fdf837d86b9c9046ee8ef8f32d4737279 | |
parent | 19bde1e0802685a390ceb9a2a109fdf09e5759ee (diff) |
Use bash for test.sh and tests.sh
Unlike some POSIX shells, The exit bash built-in outputs something to
stdout which may trigger a vertical scrolling. As /bin/sh is now often
a link to /bin/bash, force bash in the test.sh shebang to guarantee a
predictable behaviour.
-rwxr-xr-x | tests/test.sh | 2 | ||||
-rwxr-xr-x | tests/tests.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/test.sh b/tests/test.sh index e48d6ee..fa47431 100755 --- a/tests/test.sh +++ b/tests/test.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Find backwards for the directory where test.sh is # """"""""""""""""""""""""""""""""""""""""""""""""" diff --git a/tests/tests.sh b/tests/tests.sh index a3eb534..7e96aaf 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # =========================================================================== # Usage: ./tests.sh [test_directory] |