diff options
author | Vincent Sanders <vince@kyllikki.org> | 2014-11-16 11:33:10 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2014-11-16 11:33:10 +0000 |
commit | 9be80ac0132a195d3028b7b0534c29a760821545 (patch) | |
tree | e9fc6be39a8d55633fffe54c7dde2eead6d9984a | |
parent | d9091261d5ee015699ddff81bf76d0c821ee949e (diff) | |
download | buildsystem-9be80ac0132a195d3028b7b0534c29a760821545.tar.gz buildsystem-9be80ac0132a195d3028b7b0534c29a760821545.tar.bz2 |
fix quotation in case expansion for make selection
-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} ;; |