diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
index 8db7ae7af..2c8cf15cf 100755
--- a/build/linux/dist/arduino
+++ b/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"