Linux: command line interface was showing splashscreen when verifying

Author: Federico Fissore

build/linux/dist/arduino

@@ -20,7 +20,7 @@ export LD_LIBRARY_PATH
 
 export PATH="${APPDIR}/java/bin:${PATH}"
 
-if [[ "$@" == *"--upload"* || "$@" == *"--upload"* || "$@" == *"--get-pref"* ]] ; then
+if [[ "$@" == *"--upload"* || "$@" == *"--verify"* || "$@" == *"--get-pref"* ]] ; then
 	SPLASH=""
 else
 	SPLASH="-splash:./lib/splash.png"