mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-17 06:52:18 +01:00
Windows: build_pull_request needed to be upgraded as well
This commit is contained in:
parent
890c2ada1c
commit
25aeb68fd6
@ -18,5 +18,5 @@ fi
|
||||
|
||||
VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"
|
||||
|
||||
./build_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM
|
||||
./build_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM -DWINDOWS_BUNDLED_JVM=$WINDOWS_BUNDLED_JVM
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user