diff options
| author | Karel Kočí <cynerd@email.cz> | 2024-07-25 11:29:51 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2024-07-25 11:29:51 +0200 |
| commit | 0adc7c32594913d0f4ec774a85cb03554cd719d4 (patch) | |
| tree | c7053a3f14852754ca846cf5e27ef18fd62be385 /git@cynerd.cz:shellrc | |
| parent | 31f5accaa54f6110cfeefa19e3e4ed6d1a71190b (diff) | |
| download | shellrc-0adc7c32594913d0f4ec774a85cb03554cd719d4.tar.gz shellrc-0adc7c32594913d0f4ec774a85cb03554cd719d4.tar.bz2 shellrc-0adc7c32594913d0f4ec774a85cb03554cd719d4.zip | |
dev: ensure that valgrind exists with non-zero exit code on error
Diffstat (limited to 'git@cynerd.cz:shellrc')
0 files changed, 0 insertions, 0 deletions