From 3b88e0ef9eb854121a16e86ed404f89f0a87ea34 Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@kyllikki.org>
Date: Mon, 11 Dec 2017 13:17:14 +0000
Subject: [PATCH] fix amigaos3 building

---
 utils/jenkins-build.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh
index 3e6562774..6fd6a777a 100755
--- a/utils/jenkins-build.sh
+++ b/utils/jenkins-build.sh
@@ -135,6 +135,20 @@ case ${TARGET} in
 	    "ppc-amigaos")
 		;;
 
+	    *)
+		echo "Target \"${TARGET}\" cannot be built on \"${HOST})\""
+		exit 1
+		;;
+
+	esac
+
+	PKG_SRC=NetSurf_Amiga/netsurf
+	PKG_SFX=.lha
+	;;
+
+
+    "amigaos3")
+	case ${HOST} in
 	    "m68k-unknown-amigaos")
 		;;