diff options
Diffstat (limited to 'install/ui/ipa.js')
-rw-r--r-- | install/ui/ipa.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/install/ui/ipa.js b/install/ui/ipa.js index f71de82a5..ca081dc0d 100644 --- a/install/ui/ipa.js +++ b/install/ui/ipa.js @@ -281,6 +281,10 @@ IPA.command = function(spec) { that.args.push(arg); }; + that.add_args = function(args) { + $.merge(that.args, args); + }; + that.set_option = function(name, value) { that.options[name] = value; }; |