From: Bruno Haible <bruno@clisp.org>
Date: Sat, 9 Jun 2007 10:59:23 +0000 (+0000)
Subject: Move to malloca.valgrind.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e2bda71b12635cad66157a5efed103da3724e8ff;p=pspp

Move to malloca.valgrind.
---

diff --git a/lib/allocsa.valgrind b/lib/allocsa.valgrind
deleted file mode 100644
index f4c77d6861..0000000000
--- a/lib/allocsa.valgrind
+++ /dev/null
@@ -1,7 +0,0 @@
-# Suppress a valgrind message about use of uninitialized memory in freesa().
-# This use is OK because it provides only a speedup.
-{
-    freesa
-    Memcheck:Cond
-    fun:freesa
-}