diff options
-rwxr-xr-x | deheader | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1453,10 +1453,11 @@ class Summary: (len(self.filenames), len(self.includes), len(self.unneeded)) if __name__ == "__main__": - (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:rvx:V", + (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:qrvx:V", ["help", "ignore", + "maker", "quiet", "remove", "verbose", - "version"]) + "exclude", "version"]) maker = "make" verbose = 0 quiet = False |