diff options
| -rwxr-xr-x | runtests.py | 2 | 
1 files changed, 1 insertions, 1 deletions
diff --git a/runtests.py b/runtests.py index 5468041..601508d 100755 --- a/runtests.py +++ b/runtests.py @@ -34,7 +34,7 @@ if __name__ == "__main__":              default=False, help='filter stdin through normalizer for testing')      args = parser.parse_args(sys.argv[1:]) -if not args.program: +if not (args.program or args.dump_tests or args.debug_normalization):      sysname = platform.system()      libname = "libcmark"      if sysname == 'Darwin':  | 
