diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 16:13:07 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 16:13:07 +0200 |
commit | 77d38c9f8a1ae1a678d49bd93f79792202cdcd23 (patch) | |
tree | 66df185947cfb5107dbacf7613abf5a9e9a27b45 | |
parent | 11aa243fe776dc99001004a74b8ed0fc42c12fc9 (diff) | |
download | compcert-kvx-77d38c9f8a1ae1a678d49bd93f79792202cdcd23.tar.gz compcert-kvx-77d38c9f8a1ae1a678d49bd93f79792202cdcd23.zip |
use /usr/bin/env bash
-rwxr-xr-x | test/monniaux/generate_makefiles.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/generate_makefiles.sh b/test/monniaux/generate_makefiles.sh index 1c05538f..ecbbdf4d 100755 --- a/test/monniaux/generate_makefiles.sh +++ b/test/monniaux/generate_makefiles.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/usr/bin/env bash source benches.sh |