diff options
Diffstat (limited to 'tools/ccc/ccclib/Driver.py')
-rw-r--r-- | tools/ccc/ccclib/Driver.py | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/ccc/ccclib/Driver.py b/tools/ccc/ccclib/Driver.py index ffba426cf2..b18d28bec5 100644 --- a/tools/ccc/ccclib/Driver.py +++ b/tools/ccc/ccclib/Driver.py @@ -371,19 +371,6 @@ class Driver(object): self.printVersion() self.suppressMissingInputWarning = True - arg = (args.getLastArg(self.parser.dumpmachineOption) or - args.getLastArg(self.parser.dumpversionOption) or - args.getLastArg(self.parser.printSearchDirsOption)) - if arg: - raise NotImplementedError('%s unsupported' % arg.opt.name) - - arg = (args.getLastArg(self.parser.dumpspecsOption) or - args.getLastArg(self.parser.printMultiDirectoryOption) or - args.getLastArg(self.parser.printMultiOsDirectoryOption) or - args.getLastArg(self.parser.printMultiLibOption)) - if arg: - raise Arguments.InvalidArgumentsError('%s unsupported by this driver' % arg.opt.name) - arg = args.getLastArg(self.parser.printFileNameOption) if arg: print self.getFilePath(args.getValue(arg)) |