diff options
author | Leo Tenenbaum <pommicket@gmail.com> | 2019-10-11 00:00:56 -0400 |
---|---|---|
committer | Leo Tenenbaum <pommicket@gmail.com> | 2019-10-11 00:00:56 -0400 |
commit | 27319a805be7c9dfcee62efd6181dec9afc50dd4 (patch) | |
tree | fbf4e19e32dc0dc19951820be109767a9612f1fd /runv | |
parent | 84cc4509415e13ab9052eabd72fbd45f24c57108 (diff) | |
parent | 272d8bfd9c7b04b32f32b327833057469e8de05a (diff) |
...
Diffstat (limited to 'runv')
-rwxr-xr-x | runv | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |