File: grind.sh

package info (click to toggle)
crawl 2%3A0.34.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 100,188 kB
  • sloc: cpp: 363,709; ansic: 27,765; javascript: 9,516; python: 8,463; perl: 3,293; java: 3,132; xml: 2,380; makefile: 1,835; sh: 611; objc: 250; cs: 15; sed: 9; lisp: 3
file content (7 lines) | stat: -rwxr-xr-x 235 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
 
#!/bin/sh

# Convenience caller for the valgrind memory debugger

nice -n 7 valgrind --tool=memcheck --leak-check=full --log-file=grind.log \
    --suppressions=misc/valgrind-suppress.txt \
    ./crawl -extra-opt-first grind=true "$@"