Skip to content

Update makefile to put back removed @#796

Merged
d7919 merged 1 commit intonextfrom
d7919-patch-1-makeCheckStepQuietAgain
Jan 16, 2018
Merged

Update makefile to put back removed @#796
d7919 merged 1 commit intonextfrom
d7919-patch-1-makeCheckStepQuietAgain

Conversation

@d7919
Copy link
Member

@d7919 d7919 commented Jan 16, 2018

I think the removal of this @ was not intended so putting it back to avoid these commands being echoed to screen.

@d7919 d7919 merged commit 106667b into next Jan 16, 2018
@d7919 d7919 deleted the d7919-patch-1-makeCheckStepQuietAgain branch January 16, 2018 13:59
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