Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix nasa#94, deprecate PSP stubs in MM coverage tets
Only include PSP stubs if the OMIT_DEPRECATED flag is unset. The PSP now provides the full set of stubs.
- Loading branch information