diff options
author | Gael Guennebaud <g.gael@free.fr> | 2016-12-08 11:59:39 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2016-12-08 11:59:39 +0100 |
commit | 8b4b00d2774ba7bb81f645d280060b50576b53ba (patch) | |
tree | 97d7aa22cad16c2a5b24e1a449d4b7edbbc71ce2 /bench | |
parent | 71055968992726301ef73a1f857c928d0ba727a6 (diff) |
fix usage of custom compiler
Diffstat (limited to 'bench')
-rwxr-xr-x | bench/perf_monitoring/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/perf_monitoring/run.sh b/bench/perf_monitoring/run.sh index 7862e993c..2942bb306 100755 --- a/bench/perf_monitoring/run.sh +++ b/bench/perf_monitoring/run.sh @@ -60,7 +60,7 @@ else cd .. fi -if [ ! -z '$CXX' ]; then +if [ -z '$CXX' ]; then CXX=g++ fi |