mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-17 06:52:18 +01:00
Allow spaces in Arduino directory name on linux.
This commit is contained in:
parent
80b52b29b5
commit
056ba5fca0
4
build/linux/dist/arduino
vendored
4
build/linux/dist/arduino
vendored
@ -1,8 +1,8 @@
|
||||
#!/bin/sh
|
||||
|
||||
APPDIR="$(dirname -- $(readlink -f -- "${0}") )"
|
||||
APPDIR="$(dirname -- "$(readlink -f -- "${0}")" )"
|
||||
|
||||
cd $APPDIR
|
||||
cd "$APPDIR"
|
||||
|
||||
for LIB in \
|
||||
java/lib/rt.jar \
|
||||
|
Loading…
x
Reference in New Issue
Block a user