Changes between Initial Version and Version 2 of Ticket #11918


Ignore:
Timestamp:
10/13/11 12:55:21 (8 years ago)
Author:
leif
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11918

    • Property Owner changed from leif to tbd
  • Ticket #11918 – Description

    initial v2  
    22
    33Both `sage-valgrind` and `sage-doctest` seem to hardcode `$SAGE_LOCAL/lib/valgrind/sage.supp`.
     4
     5----
     6
     7Unless we again(?) create and ship this file, we could at least add
     8{{{
     9#!sh
     10if [[ ! -f "$SAGE_LOCAL"/lib/valgrind/sage.supp ]]; then
     11   mkdir -p "$SAGE_LOCAL"/lib/valgrind
     12   touch "$SAGE_LOCAL"/lib/valgrind/sage.supp
     13fi
     14}}}
     15to `sage-valgrind`.
     16
     17Using variables (perhaps also specifiable by the user) for both the directory and the filename would be better of course.
     18
     19And / or only pass `--suppressions=...` if the file really exists.