diff options
-rwxr-xr-x | deheader | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1521,7 +1521,7 @@ class Summary: (len(self.filenames), len(self.includes), len(self.unneeded)) if __name__ == "__main__": - (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:qrvx:V:c:d:s:", + (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:qrvx:V:c:d:s:S:", ["help", "ignore", "maker", "quiet", "remove", "verbose", @@ -1563,8 +1563,8 @@ if __name__ == "__main__": defines = val elif switch in ('-s', '--std'): std = val - elif switch in ('--std2'): - std = val + elif switch in ('-S', '--std2'): + std2 = val if not ignores: ignore = None else: |