1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-30 16:24:09 +03:00

PR Autobuild: fixed artifact name

This commit is contained in:
Federico Fissore
2014-08-25 18:18:03 +02:00
parent a5ea0a9d01
commit b12e659c7c

View File

@ -13,7 +13,7 @@ then
exit $ERRORS
fi
VERSION="PR-${ghprbPullId}"
VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux32 -Dlinux32=1 -Dversion="${VERSION}" dist
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 -Dversion="${VERSION}" dist