devel rebuild

2020-12-16 23:34:18 +03:00
parent 09e6a289d6
commit e9632039c8
50 changed files with 595 additions and 77 deletions
@@ -23,7 +23,7 @@ def build():

 # takes too long, do it by hand
 #def check():
-#    autotools.make("check")
+    #autotools.make("check")

 def install():
    autotools.rawInstall("DESTDIR=%s" % get.installDIR())