diff options
Diffstat (limited to 'runtests.py')
-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': |