Do not show splash screen when options are present

This simplifies the logic and makes more sense overall.
arduino · Jul 14, 2016 · 961438a · 961438a
1 parent 3f18eab
commit 961438a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
@@ -27,7 +27,8 @@ fi
 # Collect options to java in an array, to properly handle whitespace in options
 JAVA_OPTIONS=("-DAPP_DIR=$APPDIR" "-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel")
 
-if [[ "$@" != *"--upload"* && "$@" != *"--verify"* && "$@" != *"--get-pref"* && "$@" != *"--save-prefs"* "$@" != *"--install-boards"* && "$@" != *"--install-library"* ]] ; then
+# Only show the splash screen when no options are present
+if [[ "$@" != *"--"* ]] ; then
 	JAVA_OPTIONS+=("-splash:$APPDIR/lib/splash.png")
 fi