From d8c6de4d12ab6d078b3104dc866551f95d4b1af6 Mon Sep 17 00:00:00 2001
From: Thomas Oulevey <thomas.oulevey@cern.ch>
Date: Aug 19 2016 15:03:02 +0000
Subject: Fix nasty koji admin detection snippet


---

diff --git a/scripts/mash_run.sh b/scripts/mash_run.sh
index 4fb7036..287a6aa 100755
--- a/scripts/mash_run.sh
+++ b/scripts/mash_run.sh
@@ -76,7 +76,7 @@ PERMS=`${KOJI} list-permissions --mine`
 
 for P in $PERMS
 do
-    [[ $P == 'admin' ]] && ADMIN=true; break
+    [[ $P == 'admin' ]] && ADMIN=true && break
 done
 
 if [ "$ADMIN" != true ]