diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-11-25 11:23:31 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-25 11:24:49 -0800 |
commit | e56cd9e8fa1ed0fbda3bee7eba1b13829ba44082 (patch) | |
tree | 8ad8b4da4dad2d9ce9da79b78e285db0d49e90a7 | |
parent | 440a56ba2b12e1c5d068ab6d8a5768d7470d5a31 (diff) |
Don't open shared library if --dump-tests or --debug-normalization.
-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': |