Merge branch 'master' into master

2019-12-22 19:42:23 +03:00
parent 452f7ce5da aabbbc30eb
commit d41a3ccf3e
21 changed files with 107 additions and 2452 deletions
@@ -23,6 +23,7 @@ def install():
    autotools.rawInstall("DESTDIR=%s" % get.installDIR())


+
    #if get.buildTYPE() == "emul32":
        ## Remove duplicated header files
        #pisitools.removeDir("/usr/lib32/%s" % get.srcDIR())
@@ -30,5 +31,6 @@ def install():
        #pisitools.dosym("/usr/lib/%s/include" % get.srcDIR(),
        #"/usr/lib32/%s/include" % get.srcDIR())

+
    pisitools.dodoc("ChangeLog*", "LICENSE", "README*")