From e154bf3505658b59c1cce53bd3061586bc353449 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Thu, 11 Aug 2016 09:30:34 +0200
Subject: Use the "md5" command on OpenBSD (bug #5008).

---
 configure.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'configure.ml')

diff --git a/configure.ml b/configure.ml
index 6748da1d8..5b4ab883d 100644
--- a/configure.ml
+++ b/configure.ml
@@ -827,7 +827,8 @@ let strip =
 (** * md5sum command *)
 
 let md5sum =
-  if arch = "Darwin" || arch = "FreeBSD" then "md5 -q" else "md5sum"
+  if List.mem arch ["Darwin"; "FreeBSD"; "OpenBSD"]
+  then "md5 -q" else "md5sum"
 
 
 (** * Documentation : do we have latex, hevea, ... *)
-- 
cgit v1.2.3