1 files changed, 9 insertions, 0 deletions
diff --git a/install/ui/ipa.js b/install/ui/ipa.js
index 7fd784b5..9f75f493 100644
--- a/install/ui/ipa.js
+++ b/install/ui/ipa.js
@@ -214,6 +214,15 @@ IPA.command = function(spec) {
         that.options[name] = value;
     };
 
+    that.add_option = function(name, value) {
+        var values = that.options[name];
+        if (!values) {
+            values = [];
+            that.options[name] = values;
+        }
+        values.push(value);
+    };
+
     that.get_option = function(name) {
         return that.options[name];
     };