From eaaed1a2a54b473d70e7d3c69be14585691f84cc Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@kyllikki.org>
Date: Thu, 1 Aug 2019 09:34:27 +0100
Subject: openbsd has changed its triple so we need to match that in the ci
 tools

---
 citools/jenkins-build.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh
index 8a5fed3..2da910e 100755
--- a/citools/jenkins-build.sh
+++ b/citools/jenkins-build.sh
@@ -137,6 +137,10 @@ case ${BUILD} in
 	MAKE=gmake
 	;;
 
+    x86_64-unknown-openbsd*)
+	MAKE=gmake
+	;;
+
     x86_64-unknown-freebsd*)
 	MAKE=gmake
 	;;    
-- 
cgit v1.2.1