Skip to content
This repository was archived by the owner on Jan 24, 2022. It is now read-only.

Slightly improve the bash scripts #204

Merged
merged 2 commits into from
Sep 10, 2019
Merged

Slightly improve the bash scripts #204

merged 2 commits into from
Sep 10, 2019

Conversation

jonas-schievink
Copy link
Contributor

@jonas-schievink jonas-schievink commented Sep 10, 2019

@rust-highfive
Copy link

r? @ithinuel

(rust_highfive has picked a reviewer for you, use r? to override)

bors bot added a commit to rust-embedded/cortex-m that referenced this pull request Sep 10, 2019
165: Slightly improve the bash scripts r=adamgreig a=jonas-schievink

cf. rust-embedded/cortex-m-rt#204

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
Copy link
Member

@adamgreig adamgreig left a comment

Choose a reason for hiding this comment

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

Thanks!

bors r+

bors bot added a commit that referenced this pull request Sep 10, 2019
204: Slightly improve the bash scripts r=adamgreig a=jonas-schievink

cf. rust-embedded/cortex-m#165

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
@bors
Copy link
Contributor

bors bot commented Sep 10, 2019

Build succeeded

@bors bors bot merged commit 4d57ee4 into rust-embedded:master Sep 10, 2019
@jonas-schievink jonas-schievink deleted the shell branch September 10, 2019 21:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants