diff options
| author | Ashish Gupta <ashmew2@gmail.com> | 2017-05-14 11:41:01 +0200 |
|---|---|---|
| committer | Ashish Gupta <ashmew2@gmail.com> | 2017-10-25 22:04:54 +0200 |
| commit | 22919f5f01a3495a9b318e25d19ff9e0b3945e1d (patch) | |
| tree | cdf151c24216224e4b59458f493c35168bc79ba4 /utils/jenkins-build.sh | |
| parent | 89cdbc691c1bc950e351f6ac3095030bcb7d40c2 (diff) | |
| download | netsurf-22919f5f01a3495a9b318e25d19ff9e0b3945e1d.tar.gz netsurf-22919f5f01a3495a9b318e25d19ff9e0b3945e1d.tar.bz2 | |
Towards integration with shared build system
Diffstat (limited to 'utils/jenkins-build.sh')
| -rwxr-xr-x | utils/jenkins-build.sh | 16 |
1 files changed, 16 insertions, 0 deletions
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}\"" |