diff options
author | Gael Guennebaud <g.gael@free.fr> | 2016-12-08 12:48:15 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2016-12-08 12:48:15 +0100 |
commit | 747202d338138bfcb125dfffdf32863bdf0c4ae7 (patch) | |
tree | 0dd526a91e34abf8ae649a79f2ea54a7953ecbbb /bench | |
parent | bb297abb9e05aa3056a6fc5c8627e8c098abd28e (diff) |
typo
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 2942bb306..14a26907f 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 |