diff options
Diffstat (limited to 'citools/jenkins-build.sh')
-rwxr-xr-x | citools/jenkins-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh index f6843a1..ef58db0 100755 --- a/citools/jenkins-build.sh +++ b/citools/jenkins-build.sh @@ -113,7 +113,7 @@ esac # adjust settings based on build triplet case ${BUILD} in - "amd64-unknown-openbsd*") + amd64-unknown-openbsd*) MAKE=gmake TARGET_TARGET=${BUILD} ;; |