From 6ec3aa34e37795db222517a87893e0b32a867f00 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 15 Mar 2023 17:14:28 +0100 Subject: [PATCH] Fix the windows build --- .gitattributes | 1 + configure | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitattributes b/.gitattributes index 3aa538a..8f48a14 100644 --- a/.gitattributes +++ b/.gitattributes @@ -2,3 +2,4 @@ * text=auto configure text eol=lf +config.guess text eol=lf diff --git a/configure b/configure index 6e87fe9..1d5833d 100755 --- a/configure +++ b/configure @@ -161,7 +161,7 @@ checklib() rm -f tmp.ml tmp.out echo "" > tmp.ml r=1 - $ocamlc -custom -ccopt "$ccopt $ldflags $cclib" tmp.ml -cclib -l$1 -o tmp.out >/dev/null 2>/dev/null || r=0 + $ocamlc -custom -ccopt "$ldflags $cclib" tmp.ml -cclib -l$1 -o tmp.out >/dev/null 2>/dev/null || r=0 if test ! -x tmp.out; then r=0; fi rm -f tmp.out tmp.ml tmp.cmi tmp.cmo if test $r -eq 0; then echo "not found"; else echo "found"; fi