aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xruntests.py2
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':