Skip gcj's gij executable, like other JREs' java executables

Change-Id: Ida84a271a066e89ceb7e5dd2fd23a744f5529917
This commit is contained in:
Stephan Bergmann
2014-03-14 11:59:58 +01:00
parent f6ff4c955a
commit 3ceaeff1cf

View File

@@ -101,7 +101,7 @@ for arg in $@ $VALGRINDOPT ; do
valgrind_ver_min=`echo $valgrind_ver | awk -F. '{ print \$2 }'`
valgrind_skip=
if [ "$valgrind_ver_maj" -gt 3 -o \( "$valgrind_ver_maj" -eq 3 -a "$valgrind_ver_min" -ge 6 \) ] ; then
valgrind_skip='--trace-children-skip=*/java'
valgrind_skip='--trace-children-skip=*/java,*/gij'
fi
# finally set the valgrind check
VALGRINDCHECK="valgrind --tool=$VALGRIND --trace-children=yes $valgrind_skip --num-callers=50 --error-limit=no"