9 echo "error: while running '$*'"
19 # Valgrind-specific Git configuration, if appropriate.
20 if git rev-parse
--is-inside-work-tree > /dev
/null
2>&1 ; then
21 echo "running: git configuration"
22 git config blame.ignoreRevsFile .git-blame-ignore-revs
24 echo "skipping: git configuration"