Fix native builds in Jenkins

Fix finding of ${target}*gcc for target==native

1 files changed, 5 insertions, 1 deletions

diff --git a/jenkins.sh b/jenkins.sh
index 3d311ec2..874fd1c3 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -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