diff options
| -rw-r--r-- | lang/ocaml/files/patch-stack_overflow | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/ocaml/files/patch-stack_overflow b/lang/ocaml/files/patch-stack_overflow new file mode 100644 index 000000000000..a9f951b363bc --- /dev/null +++ b/lang/ocaml/files/patch-stack_overflow @@ -0,0 +1,15 @@ +--- configure.orig Tue Mar 18 22:40:03 2003 ++++ configure Tue Mar 18 22:40:38 2003 +@@ -962,9 +962,9 @@ + + case "$arch,$model,$system" in + i386,*,*) +- case "$host" in # Check for FreeBSD 4.5 bug +- *-*-freebsd*|*-*-openbsd*) check_pthread=yes ;; +- *) check_pthread=no ;; ++ case "$host" in ++ *-*-openbsd*) check_pthread=yes ;; ++ *) check_pthread=no ;; + esac + if ./runtest -DTARGET_$arch -DSYS_$system stackov.c \ + && test $check_pthread = no || cclibs="-pthread $cclibs" \ |