diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2015-01-08 12:19:52 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2015-01-08 12:19:52 +0000 |
commit | f6849539e6c5ab135783ccde7d5e527bfa7a0b0d (patch) | |
tree | 441d99587a237d9a0b44f93e172638591327ba37 | |
parent | 022640a1142936ad15d3c7d44b3940f987ae25b7 (diff) |
Fix native builds in Jenkinsmingw32
Fix finding of ${target}*gcc for target==native
-rwxr-xr-x | jenkins.sh | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -138,7 +138,11 @@ if test x"${runtests}" = xtrue; then check=--check fi -if test x"${target}" != x"native" -a x"${target}" != x; then +if test x"${target}" != x"native"; then + target="" +fi + +if test x"${target}" != x""; then platform="--target ${target}" fi |