diff options
author | Bernard Ogden <bernie.ogden@linaro.org> | 2014-06-05 10:41:37 +0000 |
---|---|---|
committer | Bernard Ogden <bernie.ogden@linaro.org> | 2014-06-05 10:41:37 +0000 |
commit | 795ccb1e206211e0f9396f0bf877cb8dc4dfc225 (patch) | |
tree | 92ea8c9869f0abefb858ec71643bb8bdcc93d601 | |
parent | 00c557a26ca88fa6795ca9350c09930ce21337b0 (diff) |
Load configure file in runbenchmark.sh
-rwxr-xr-x | runbenchmark.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/runbenchmark.sh b/runbenchmark.sh index 6487795..88e9f8f 100755 --- a/runbenchmark.sh +++ b/runbenchmark.sh @@ -1,6 +1,13 @@ #!/bin/bash +# load the configure file produced by configure +if test -e "${PWD}/host.conf"; then + . "${PWD}/host.conf" +else + echo "WARNING: no host.conf file! Did you run configure?" 1>&2 +fi + # load commonly used functions script="`which $0`" topdir="`dirname ${script}`" |