summaryrefslogtreecommitdiff
path: root/runv
diff options
context:
space:
mode:
authorLeo Tenenbaum <pommicket@gmail.com>2019-10-11 00:00:56 -0400
committerLeo Tenenbaum <pommicket@gmail.com>2019-10-11 00:00:56 -0400
commit27319a805be7c9dfcee62efd6181dec9afc50dd4 (patch)
treefbf4e19e32dc0dc19951820be109767a9612f1fd /runv
parent84cc4509415e13ab9052eabd72fbd45f24c57108 (diff)
parent272d8bfd9c7b04b32f32b327833057469e8de05a (diff)
...
Diffstat (limited to 'runv')
-rwxr-xr-xrunv2
1 files changed, 1 insertions, 1 deletions
diff --git a/runv b/runv
index bf00c4f..fe4912a 100755
--- a/runv
+++ b/runv
@@ -1,2 +1,2 @@
#!/bin/bash
-valgrind -q --track-origins=yes ./toc test.toc
+valgrind -q --track-origins=yes ./toc test.toc && cat out.c