Commit e56cd9e8fa1ed0fbda3bee7eba1b13829ba44082 Parent 440a56ba2b12e1c5d068ab6d8a5768d7470d5a31 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 25 Nov 2014 11:23:31 -0800 Don't open shared library if --dump-tests or --debug-normalization.