diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-28 21:40:43 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-28 21:41:23 +0200 |
commit | b954d86bafcfbb75fa49edd0589b979d86785e98 (patch) | |
tree | 5b702eaa01b1da1106d269e96d51ab91ce87f4d3 /src | |
parent | valgrind: exit with an error after leak detection (diff) | |
download | cimple-b954d86bafcfbb75fa49edd0589b979d86785e98.tar.gz cimple-b954d86bafcfbb75fa49edd0589b979d86785e98.zip |
test: skip ci.sh w/ Valgrind
Diffstat (limited to '')
-rwxr-xr-x | src/valgrind.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/valgrind.sh b/src/valgrind.sh index 160b573..db05a1d 100755 --- a/src/valgrind.sh +++ b/src/valgrind.sh @@ -15,4 +15,4 @@ exec valgrind -q \ --track-origins=yes \ --track-fds=yes \ --trace-children=yes \ - -- "$@" + "$@" |