diff options
author | Vincent Sanders <vince@kyllikki.org> | 2019-08-01 09:34:27 +0100 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2019-08-01 09:34:27 +0100 |
commit | eaaed1a2a54b473d70e7d3c69be14585691f84cc (patch) | |
tree | f158e7b6e6e4b3aa6e0be4db67053fe859142e93 /citools | |
parent | 18cfe7fc1567e9e8ff899ab95007e7477ce4d253 (diff) | |
download | buildsystem-eaaed1a2a54b473d70e7d3c69be14585691f84cc.tar.gz buildsystem-eaaed1a2a54b473d70e7d3c69be14585691f84cc.tar.bz2 |
openbsd has changed its triple so we need to match that in the ci tools
Diffstat (limited to 'citools')
-rwxr-xr-x | citools/jenkins-build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
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 ;; |