diff --git a/Demo/pdist/rrcs.py b/Demo/pdist/rrcs.py index 70895ea567f..abd6ade4dea 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: