summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-25 11:23:31 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-25 11:24:49 -0800
commite56cd9e8fa1ed0fbda3bee7eba1b13829ba44082 (patch)
tree8ad8b4da4dad2d9ce9da79b78e285db0d49e90a7
parent440a56ba2b12e1c5d068ab6d8a5768d7470d5a31 (diff)
Don't open shared library if --dump-tests or --debug-normalization.
-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':