summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2010-12-01 20:35:21 -0500
committerEric S. Raymond <esr@thyrsus.com>2010-12-01 20:35:21 -0500
commit0494ba166cdf7b7da534a5f4c5a9e2dfa0a8b62a (patch)
treed7389882d02c214776d3e8cf5a97b875751165e1
parent35ef41ca9f7345d89189692ae935d2c1f1306cf1 (diff)
downloaddeheader-0494ba166cdf7b7da534a5f4c5a9e2dfa0a8b62a.tar.gz
deheader-0494ba166cdf7b7da534a5f4c5a9e2dfa0a8b62a.tar.bz2
deheader-0494ba166cdf7b7da534a5f4c5a9e2dfa0a8b62a.tar.xz
deheader-0494ba166cdf7b7da534a5f4c5a9e2dfa0a8b62a.zip
Implement -V option.
-rwxr-xr-xdeheader6
1 files changed, 5 insertions, 1 deletions
diff --git a/deheader b/deheader
index c75144b..213818e 100755
--- a/deheader
+++ b/deheader
@@ -222,7 +222,7 @@ def deheader(sourcefile, maker, includes, remove, verbose):
del remove_it
if __name__ == "__main__":
- (options, arguments) = getopt.getopt(sys.argv[1:], "hm:rvi:",
+ (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:rvV",
["help", "ignore",
"remove", "verbose",])
maker = "make"
@@ -241,6 +241,9 @@ if __name__ == "__main__":
remove = True
elif switch in ('-v', '--verbose'):
verbose += 1
+ elif switch in ('-V', '--version'):
+ print "deheader", version
+ raise SystemExit, 0
if not ignores:
ignore = None
else:
@@ -251,5 +254,6 @@ if __name__ == "__main__":
inclusion_map = InclusionMap(arguments, ignore, verbose)
for sourcefile in inclusion_map.c_to_h:
deheader(sourcefile, maker, inclusion_map.c_to_h[sourcefile], remove, verbose)
+ raise SystemExit, 0
# End