diff options
-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 |