diff options
| author | Markus Hutmacher <mailing@markhu.de> | 2014-05-24 08:07:45 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-05-24 08:08:04 +0700 |
| commit | 66e64d00018ab108b910c57ca237b1fb4242c0ef (patch) | |
| tree | 9d316589a802a819368f7cb0d9935248e9f1f87d /development/ocaml/configure.patch | |
| parent | 341ffe251fbb80912e5769b106a08d4d8eabefb4 (diff) | |
development/ocaml: Updated for version 4.01.0 + new maintainer.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/ocaml/configure.patch')
| -rw-r--r-- | development/ocaml/configure.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/ocaml/configure.patch b/development/ocaml/configure.patch index 2f91abe106a0a..a57b19fb566ab 100644 --- a/development/ocaml/configure.patch +++ b/development/ocaml/configure.patch @@ -1,6 +1,6 @@ ---- configure.orig 2011-07-04 23:15:01.000000000 +0200 -+++ configure 2011-11-05 15:17:01.946744829 +0100 -@@ -1600,6 +1600,10 @@ +--- configure_old 2014-05-23 22:45:22.000000000 +0200 ++++ configure 2014-05-23 22:45:31.000000000 +0200 +@@ -1612,6 +1612,10 @@ nativecccompopts="$nativecccompopts -fomit-frame-pointer";; esac |