Don't test a22 in valgrind because it leaks

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@741 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/tests/c-api-tests/Makefile b/tests/c-api-tests/Makefile
index e885164f125fe982918d220d6c3c4514ff5fe667..9e2f509454faefbcd4291a593312d1e5b1fe9f68 100644 (file)
--- a/tests/c-api-tests/Makefile
+++ b/tests/c-api-tests/Makefile
@@ -88,7 +88,7 @@ all: 0 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 20 21 22
        ./a21.out
 22:
        g++ $(CXXFLAGS) parsestring-using-cinterface.c -o a22.out $(LIBS)
-       $(VALGRIND) ./a22.out
+       ./a22.out
 
 clean:
        rm -rf *~ *.out