| commit | 2ba1b4c5f2284c475aeaa7062a81505f5e5b7132 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Fri Jun 23 22:40:59 1995 +0000 |
| committer | Guido van Rossum <guido@python.org> | Fri Jun 23 22:40:59 1995 +0000 |
| tree | 2194dbe09e8d371a781b245f85331cb2c7a97960 | |
| parent | bab472540143fe5bb124b07c948b9309ce072536 [diff] |
add -L option
diff --git a/Demo/pdist/rrcs.py b/Demo/pdist/rrcs.py index 70895ea..abd6ade 100755 --- a/Demo/pdist/rrcs.py +++ b/Demo/pdist/rrcs.py
@@ -13,7 +13,7 @@ def main(): sys.stdout = sys.stderr try: - opts, rest = getopt.getopt(sys.argv[1:], 'h:p:d:qv') + opts, rest = getopt.getopt(sys.argv[1:], 'h:p:d:qvL') if not rest: cmd = 'head' else: