1 files changed, 2 insertions, 1 deletions
diff --git a/sync-all b/sync-all
index 00d14bb0a3..e3d6f35acc 100755
--- a/sync-all
+++ b/sync-all
@@ -901,7 +901,8 @@ sub main {
 }
 
 BEGIN {
-    if ("pull" ~~ @ARGV) {
+    my %argvHash = map { $_, 1 } @ARGV;
+    if ($argvHash {"pull"}) {
         checkCurrentBranchIsMaster();
     }
     $initial_working_directory = getcwd();