diff options
author | comex | 2015-10-27 21:14:05 -0400 |
---|---|---|
committer | comex | 2015-10-27 21:14:05 -0400 |
commit | b0a1b9863a7092b1d191d1523798ba78d5df3e4a (patch) | |
tree | d89974b2295bd9d35f7393599b5b938a0175e381 /script/mconfig.py | |
parent | avoid overflowing Version into debian_revision (diff) | |
download | substitute-b0a1b9863a7092b1d191d1523798ba78d5df3e4a.tar.gz |
lol, mach awk fail
Diffstat (limited to '')
-rw-r--r-- | script/mconfig.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/script/mconfig.py b/script/mconfig.py index d025545..5b7aa74 100644 --- a/script/mconfig.py +++ b/script/mconfig.py @@ -548,8 +548,11 @@ class CLITool(object): def __repr__(self): return 'CLITool(name=%r, defaults=%r, env=%r)' % (self.name, self.defaults, self.env) - def optional(self): + def optional_nocheck(self): self.argv_opt.need() + + def optional(self): + self.optional_nocheck() def f(): try: self.argv() |