diff options
Diffstat (limited to 'cpp/src')
| -rwxr-xr-x | cpp/src/tests/run_test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/src/tests/run_test b/cpp/src/tests/run_test index b87e4fccbd..8fbaaaee07 100755 --- a/cpp/src/tests/run_test +++ b/cpp/src/tests/run_test @@ -41,7 +41,7 @@ VALGRIND_OPTS=" --trace-children=yes --log-file=$VG_LOG -- " - +ERROR=0 if grep -l "^# Generated by .*libtool" "$1" >/dev/null 2>&1; then # This is a libtool "executable". Valgrind it if VALGRIND specified. test -n "$VALGRIND" && VALGRIND="$VALGRIND $VALGRIND_OPTS" |