diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure index 5790a3219c7..2ba6050bceb 100755 --- a/configure +++ b/configure @@ -19085,6 +19085,16 @@ esac fi +# Cygwin's erand48 sometimes hangs, so force use of ours +if test "$PORTNAME" = "cygwin"; then + case " $LIBOBJS " in + *" erand48.$ac_objext "* ) ;; + *) LIBOBJS="$LIBOBJS erand48.$ac_objext" + ;; +esac + +fi + # Win32 support if test "$PORTNAME" = "win32"; then |