Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
It appeared to me that msr_safe was checked twice, once in a location it was not intended to be checked. This was throwing an error for me as I'm not using msr_safe, but did want to run
python src/utilities/verify_msr_kernel.py -v
per the documentation.Fixes #
Type of change
How Has This Been Tested?
Please describe the tests that you ran to verify your changes. Please provide hardware architecture specs and
instructions so we can reproduce.
I didn't have to rebuild to run this change. I also don't have a system with msr_safe installed, so I wasn't able to test if it worked on a system with msr_safe.
Checklist:
./scripts/check-code-format.sh
and confirm my code code follows the style guidelines of variorum-DENABLE_WARNINGS=ON
)Thank you for taking the time to contribute to Variorum!