Merge branch 'master' of github.com:pisilinux/core

2017-02-15 23:25:15 +03:00
parent 3860f53332 003c9e3ab3
commit d8e2408536
1 changed files with 1 additions and 1 deletions
@@ -37,7 +37,7 @@ def check():
 def install():
    autotools.rawInstall("DESTDIR=%s" % get.installDIR())

-    if get.buildTYPE() == "emul32":
+    if get.buildTYPE() == "emul32" or "i686":
        pisitools.removeDir("/usr/share/gtk-doc")
        return