Skip to content

Fix misspellings of "suppression" in the Makefile#286

Merged
esabol merged 1 commit intomasterfrom
esabol-patch-1
Jul 27, 2020
Merged

Fix misspellings of "suppression" in the Makefile#286
esabol merged 1 commit intomasterfrom
esabol-patch-1

Conversation

@esabol
Copy link
Member

@esabol esabol commented Jul 16, 2020

It should be "suppression", not "supression". :) I kept a misspelled "valgrind-supression" target for historical reasons. Would you rather it be removed entirely?

It should be "suppression", not "supression". :) I kept a misspelled "valgrind-supression" target for historical reasons. Would you rather it be removed entirely?
@esabol esabol merged commit 3791016 into master Jul 27, 2020
@esabol esabol deleted the esabol-patch-1 branch July 30, 2020 21:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants