From 757b85ea8e208cf9f58985ed1acaef2cdc8037eb Mon Sep 17 00:00:00 2001
From: Pierre
Date: Wed, 8 Jan 2014 10:34:27 +0100
Subject: md5 for MacOS

md5sum check remains not portable.
---
 configure.ml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/configure.ml b/configure.ml
index db82e523c9..7cb37e82c1 100644
--- a/configure.ml
+++ b/configure.ml
@@ -785,6 +785,12 @@ let md5sum =
   if arch = "Darwin" then "md5 -q" else "md5sum"
 
 
+(** * md5sum command *)
+
+let md5sum =
+  if arch = "Darwin" then "md5 -q" else "md5sum"
+
+
 (** * Documentation : do we have latex, hevea, ... *)
 
 let check_doc () =
-- 
cgit v1.2.3