diff options
-rw-r--r-- | bashrc | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -54,6 +54,14 @@ alias df="/bin/df -hT" title() { echo -ne "\033]0;$@\007" } +vg() { + valgrind \ + --show-leak-kinds=all \ + --suppressions=$HOME/dev/valgrind.suppressions \ + --leak-check=full \ + --log-file=/var/tmp/vg.log \ + $@ +} build() { title "Build in progress" CCACHE_BASEDIR=$(git root) nice -n5 b2 -j$CORES $@ |