disable valgrind
authorChristian Grothoff <christian@grothoff.org>
Sun, 26 Feb 2017 00:07:26 +0000 (01:07 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 26 Feb 2017 00:07:26 +0000 (01:07 +0100)
commit3223fc051f4f3c3d093dc61966df17c8fc60837f
treebbd2994c4f16ef36adbeea1f62e068c559db2a1e
parent9f12a515db584f4b706841c21ce186ec608540c5
disable valgrind
src/set/test_set.conf