valgrind: ver. bump to 3.12.0

2017-02-17 20:22:37 +03:00
parent 2a90a1a4d7
commit 88bd0c26c6
2 changed files with 11 additions and 4 deletions
@@ -20,4 +20,4 @@ def build():
 def install():
    autotools.rawInstall("DESTDIR=%s" % get.installDIR())

-    pisitools.dodoc("AUTHORS", "FAQ.txt", "NEWS", "README*")
+    pisitools.dodoc("AUTHORS", "FAQ.txt", "NEWS", "README*")