diff options
| author | Alfred M. Szmidt <ams@gnu.org> | 2021-06-10 09:49:13 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-06-13 06:41:23 +0200 |
| commit | 66a80d735d2080ee6c4102b26db039a082c2b027 (patch) | |
| tree | 23883fea441ed7ce4bc195dd248b1bc278171acc | |
| parent | ea95c54320e43608ca67fe9a3a15334552f6b84f (diff) | |
| download | ghdl-66a80d735d2080ee6c4102b26db039a082c2b027.tar.gz ghdl-66a80d735d2080ee6c4102b26db039a082c2b027.tar.bz2 ghdl-66a80d735d2080ee6c4102b26db039a082c2b027.zip | |
testsuite/testsuite.sh: Go through /usr/bin/env to figure out where bash is.
| -rwxr-xr-x | testsuite/testsuite.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/testsuite.sh b/testsuite/testsuite.sh index cc1b91910..8026af974 100755 --- a/testsuite/testsuite.sh +++ b/testsuite/testsuite.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#! /usr/bin/env bash # Stop in case of error set -e |