libtool:rebuild

2018-09-16 14:41:37 +03:00
parent 482e53b74f
commit c8bd5a2b35
78 changed files with 85 additions and 81 deletions
@@ -22,7 +22,7 @@ def setup():
    shelltools.touch("%s/style.css" % get.curDIR())
    pisitools.dosed("docs/Makefile", "CSS_FILES = .*", "CSS_FILES = %s/style.css" % get.curDIR())

-    pisitools.dosed("libtool"," -shared ", " -Wl,--as-needed -shared ")
+    pisitools.dosed("libtool", " -shared ", " -Wl,-O1,--as-needed -shared ")

 def build():
    autotools.make()