]> err.no Git - mapper/commitdiff
Add strace to debug tools
authorKaj-Michael Lang <milang@onion.tal.org>
Fri, 1 Feb 2008 17:18:01 +0000 (19:18 +0200)
committerKaj-Michael Lang <milang@onion.tal.org>
Fri, 1 Feb 2008 17:18:01 +0000 (19:18 +0200)
src/debug-mapper.sh

index a0196d47c245169841389bf61c55ec7e8dfc0277..8e374c47e3b94457ca905b8e3da676ab91b803cd 100755 (executable)
@@ -13,6 +13,9 @@ case "$1" in
        gdb)
                libtool --mode=execute gdb mapper
        ;;
+       strace)
+               libtool --mode=execute strace mapper
+       ;;
        *)
                echo "Mode: valgrind or massif"
        ;;