summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2016-04-08 10:11:45 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2016-04-08 10:11:45 +0100
commit4b8cb908ef5f0af32b422ac2ff4d7fb31a2bf33a (patch)
tree51136e561a86a8f68933cf675abe602bff6cc3ef
parent392354ad6d44289b4bf01cf105bb5469124c1300 (diff)
downloadocaml-4b8cb908ef5f0af32b422ac2ff4d7fb31a2bf33a.tar.gz
Remove Cygwin dependency on dos2unix
tr is always installed.
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 036cd3606d..0bb2d35f9d 100755
--- a/configure
+++ b/configure
@@ -394,7 +394,7 @@ case "$bytecc,$target" in
dllccompopts="-U_WIN32 -DCAML_DLL"
if test $with_sharedlibs = yes; then
flexlink="flexlink -chain $flavor -merge-manifest -stack 16777216"
- flexdir=`$flexlink -where | dos2unix`
+ flexdir=`$flexlink -where | tr -d '\015'`
if test -z "$flexdir"; then
wrn "flexlink not found: native shared libraries won't be available."
with_sharedlibs=no