index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | extra/ocaml/PKGBUILD | 6 |
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD index b8474f38..f8aba586 100644 --- a/extra/ocaml/PKGBUILD +++ b/extra/ocaml/PKGBUILD @@ -1,8 +1,8 @@ -# configure says frame pointers are not supported on this platform, -# disable them (and also some LTO stuff) +# configure says frame pointers are not supported on this platform +# Also switch to world instead of world.opt because the native code compiler has been dropped eval "$( declare -f build | \ sed ' - /configure/s/--enable-frame-pointers// + s@-enable-frame-pointers@@;s@world.opt@world@ ' )" |