1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- deheader.orig 2014-06-04 06:33:37.000000000 +0800
+++ deheader 2014-06-05 11:37:43.000000000 +0800
@@ -1450,8 +1450,8 @@
(len(self.filenames), len(self.includes), len(self.unneeded))
if __name__ == "__main__":
- (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:rvx:V",
- ["help", "ignore",
+ (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:qrvx:V",
+ ["help", "ignore", "quiet",
"remove", "verbose",])
maker = "make"
verbose = 0
|
