mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
parent
d00b51d7c8
commit
a6602cac09
2
build/linux/dist/arduino
vendored
2
build/linux/dist/arduino
vendored
@ -31,5 +31,5 @@ if [[ "$@" != *"--upload"* && "$@" != *"--verify"* && "$@" != *"--get-pref"* &&
|
||||
JAVA_OPTIONS+=("-splash:$APPDIR/lib/splash.png")
|
||||
fi
|
||||
|
||||
$JAVA "${JAVA_OPTIONS[@]}" processing.app.Base "$@"
|
||||
"$JAVA" "${JAVA_OPTIONS[@]}" processing.app.Base "$@"
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user