From 8a91ab9a6175eb18b4d0cfdea613b507a25dca23 Mon Sep 17 00:00:00 2001
From: Jordi Boggiano <j.boggiano@seld.be>
Date: Mon, 5 Aug 2013 14:34:58 +0200
Subject: [PATCH] Add missing getopts::groups::optflagmulti function

---
 src/libextra/getopts.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/libextra/getopts.rs b/src/libextra/getopts.rs
index b9ee38317f32..9098ca08bd7d 100644
--- a/src/libextra/getopts.rs
+++ b/src/libextra/getopts.rs
@@ -542,6 +542,20 @@ pub mod groups {
                 occur: Optional};
     }
 
+    /// Create a long option that can occur more than once and does not
+    /// take an argument
+    pub fn optflagmulti(short_name: &str, long_name: &str,
+                   desc: &str) -> OptGroup {
+        let len = short_name.len();
+        assert!(len == 1 || len == 0);
+        return OptGroup {short_name: short_name.to_owned(),
+                long_name: long_name.to_owned(),
+                hint: ~"",
+                desc: desc.to_owned(),
+                hasarg: No,
+                occur: Multi};
+    }
+
     /// Create a long option that is optional and takes an optional argument
     pub fn optflagopt(short_name: &str, long_name: &str,
                       desc: &str, hint: &str) -> OptGroup {