Fix SuperPMI for new altjit jit flag#1
Merged
davidwrighton merged 1 commit intodavidwrighton:remove_alt_jit_definefrom Nov 16, 2020
Merged
Fix SuperPMI for new altjit jit flag#1davidwrighton merged 1 commit intodavidwrighton:remove_alt_jit_definefrom
davidwrighton merged 1 commit intodavidwrighton:remove_alt_jit_definefrom
