From c8a2d24a43607dcc2f3e09cb33633eb6d6f29b9f Mon Sep 17 00:00:00 2001
From: Ashish Gupta <ashmew2@gmail.com>
Date: Sun, 14 May 2017 11:41:01 +0200
Subject: Towards integration with shared build system

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

(limited to 'utils/jenkins-build.sh')

diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh
index b6ca21dd7..14983a205 100755
--- a/utils/jenkins-build.sh
+++ b/utils/jenkins-build.sh
@@ -357,6 +357,22 @@ case ${TARGET} in
 	PKG_SFX=
 	;;
 
+    "kolibrios")
+	case ${HOST} in
+	    "kos32-gcc")
+            BUILD_CC := kos32-gcc
+            CC := kos32-gcc
+            AR := kos32-ar
+            LD := kos32-ld
+		;;
+
+	    *)
+		echo "Target \"${TARGET}\" cannot be built on \"${HOST})\""
+		exit 1
+		;;
+	esac
+    ;;
+
     *)
 	# TARGET must be in the environment and set correctly
 	echo "Unkown TARGET \"${TARGET}\""
-- 
cgit v1.2.3