diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2014-03-14 11:59:58 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2014-03-14 12:20:41 +0100 |
| commit | 3ceaeff1cfbd606c4839832d8558617c0513be1d (patch) | |
| tree | b4ca23d73fa0acaf50a649c4d99bf73ab86312cf /desktop | |
| parent | f6ff4c955a2c7dad8d586c1ae351856f596d7c76 (diff) | |
Skip gcj's gij executable, like other JREs' java executables
Change-Id: Ida84a271a066e89ceb7e5dd2fd23a744f5529917
Diffstat (limited to 'desktop')
| -rwxr-xr-x | desktop/scripts/soffice.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/scripts/soffice.sh b/desktop/scripts/soffice.sh index d08f52a6edca..6d5dc38f1164 100755 --- a/desktop/scripts/soffice.sh +++ b/desktop/scripts/soffice.sh @@ -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" |