dominic/Arduino-Makefile
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix bootstrap IDE type check to allow for gzip

Browse source
This commit is contained in:
Alissa Huskey 2019-11-13 01:10:04 -07:00
parent 805ac2d207
commit 6261f9d8ea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/script/bootstrap/arduino.sh
View file

@ -30,7 +30,7 @@ if [ -z "$ARDUINO_DIR" ] || ! test -e $ARDUINO_DIR || [ $OS == "cygwin" ]; then
download $ARDUINO_URL $ARDUINO_FILE
download_type="$(file --mime-type $DEPENDENCIES_FOLDER/$ARDUINO_FILE)"
if [[ ! "$download_type" =~ application\/zip ]]; then
if [[ ! "$download_type" =~ zip ]]; then
mv $ARDUINO_FILE "bad-$ARDUINO_FILE"
echo