diff --git a/ci.sh b/ci.sh
index 3dc39c86..19fbe831 100755
--- a/ci.sh
+++ b/ci.sh
@@ -73,6 +73,9 @@ while true; do
     --package-linux-archive )
       package_linux_archive
       ;;
+    -- )
+      break
+      ;;
     *)
       usage
       ;;