diff options
| author | Ashish Gupta <ashmew2@gmail.com> | 2017-05-14 11:41:01 +0200 |
|---|---|---|
| committer | Ashish Gupta <ashmew2@gmail.com> | 2017-06-10 08:25:29 +0200 |
| commit | c8a2d24a43607dcc2f3e09cb33633eb6d6f29b9f (patch) | |
| tree | 8c463a8cc76ba020fefb6912513e37faa3211f7f /utils/jenkins-build.sh | |
| parent | a2a1dabcceaa79e1d95935fa69df250d8af5fe0b (diff) | |
| download | netsurf-c8a2d24a43607dcc2f3e09cb33633eb6d6f29b9f.tar.gz netsurf-c8a2d24a43607dcc2f3e09cb33633eb6d6f29b9f.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}\"" |