diff options
| -rwxr-xr-x | deheader | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |