diff options
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 2f91abe106..a57b19fb56 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 |