diff options
author | Lorenz <12514511+RincewindsHat@users.noreply.github.com> | 2023-02-10 11:43:20 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-10 11:43:20 +0100 |
commit | c07206f2ccc2356aa74bc6813a94c2190017d44e (patch) | |
tree | 1677e5fdca5c3ce544e92c5484e16a0b68df1cc9 /gl/malloca.valgrind | |
parent | e92046f810658016b7c373677efefda3b21400e4 (diff) | |
parent | d2fcf49ad4afc15f37d082d7bc96a808369ec2d4 (diff) | |
download | monitoring-plugins-c07206f.tar.gz |
Merge pull request #1832 from RincewindsHat/gnulib_update_2023
Gnulib update 2023 and attendant fixes
Diffstat (limited to 'gl/malloca.valgrind')
-rw-r--r-- | gl/malloca.valgrind | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gl/malloca.valgrind b/gl/malloca.valgrind deleted file mode 100644 index 52f0a50f..00000000 --- a/gl/malloca.valgrind +++ /dev/null | |||
@@ -1,7 +0,0 @@ | |||
1 | # Suppress a valgrind message about use of uninitialized memory in freea(). | ||
2 | # This use is OK because it provides only a speedup. | ||
3 | { | ||
4 | freea | ||
5 | Memcheck:Cond | ||
6 | fun:freea | ||
7 | } | ||