summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdeheader5
1 files changed, 3 insertions, 2 deletions
diff --git a/deheader b/deheader
index aae280d..a38175e 100755
--- a/deheader
+++ b/deheader
@@ -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