From e8ef0d9047d90e872eb294c03d06a19461e8defe Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 30 Mar 2015 09:30:53 +0200
Subject: [PATCH] Linux: command line interface was showing splashscreen when
 verifying

---
 build/linux/dist/arduino | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"