Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix rustdoc CI, force bash for Makefile.common #2129

Merged
merged 1 commit into from Sep 26, 2020

Conversation

hudson-ayers
Copy link
Contributor

Pull Request Overview

This pull request fixes #2124 by uniting boards/Makefile.common and Makefile such that bash is the default shell for both. This fixes an issue where when Makefile.common was called by a shell script from the Makefile on the ubuntu CI machine, it would use the default ubuntu shell dash which does not support the syntax used to detect warnings in rustdoc.

Testing Strategy

This pull request was tested by running the CI locally on Ubuntu 20.04 before and after this change.

TODO or Help Wanted

N/A

Documentation Updated

  • No updates are required.

Formatting

  • Ran make prepush.

Copy link
Member

@ppannuto ppannuto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

matches what we do elsewhere, looks good – thanks for the quick fix

@bors bors bot merged commit fd1cdd8 into tock:master Sep 26, 2020
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.

CI-Job: Rustdoc Documentation not enforced on GitHub?
3 participants