diff options
| author | Simon John <git@the-jedi.co.uk> | 2014-11-08 02:51:39 +0000 |
|---|---|---|
| committer | Simon John <git@the-jedi.co.uk> | 2014-11-08 02:51:39 +0000 |
| commit | 893adf7f984f01e196db93d7db30d16ca9023cd7 (patch) | |
| tree | a34e95590b8a8ac544880943ea3099249d25fad4 /tests/script/bootstrap | |
| parent | 36213ceb065360dfe8d0f680db9d89138cffeac7 (diff) | |
Arduino changed the download link again, this time it uses a script,
curl handles it ok luckily.
Diffstat (limited to 'tests/script/bootstrap')
| -rw-r--r-- | tests/script/bootstrap/arduino.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/script/bootstrap/arduino.sh b/tests/script/bootstrap/arduino.sh index 0260448..7c2c9ac 100644 --- a/tests/script/bootstrap/arduino.sh +++ b/tests/script/bootstrap/arduino.sh @@ -20,7 +20,7 @@ if [ -z "$ARDUINO_DIR" ] || ! test -e $ARDUINO_DIR || [ $OS == "cygwin" ]; then EXTRACT_COMMAND="tar -xzf" fi - ARDUINO_URL=http://downloads.arduino.cc/$ARDUINO_FILE + ARDUINO_URL=http://arduino.cc/download.php?f=/$ARDUINO_FILE _pushd $DEPENDENCIES_FOLDER if ! test -e $ARDUINO_FILE |