builtin-remote: prune remotes correctly that were added with --mirror

diff --git a/parse-options.h b/parse-options.h
index 102ac31fb727acfdc3c2159e1525c7bcca94e1ef..0d40cd2f124edfd68d23c69433e95bd0d5796282 100644 (file)
--- a/parse-options.h
+++ b/parse-options.h
@@ -18,6 +18,7 @@ enum parse_opt_type {
 
 enum parse_opt_flags {
        PARSE_OPT_KEEP_DASHDASH = 1,
+       PARSE_OPT_STOP_AT_NON_OPTION = 2,
 };
 
 enum parse_opt_option_flags {