From a4b9606a0d966b90ccba1392c8867638139a9573 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 16 Jun 2020 17:12:07 +0200
Subject: bin/sanity-check: fix wrong "set --"

---
 bin/sanity-check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/sanity-check b/bin/sanity-check
index f9c36ef..2e42166 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -161,7 +161,7 @@ while [ $# -gt 0 ]; do
           fi
           i_am_insane
           # if the master mirror cannot be reached, further tests do not make any sense
-          set --
+          set -- "$1"
         fi
       done
 
-- 
cgit v1.2.3-70-g09d2