Skip to content

Makefile improvements #416

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

Merged
merged 3 commits into from
Jul 2, 2021
Merged

Makefile improvements #416

merged 3 commits into from
Jul 2, 2021

Conversation

ojeda
Copy link
Member

@ojeda ojeda commented Jul 2, 2021

No description provided.

Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
@ksquirrel

This comment has been minimized.

@ojeda
Copy link
Member Author

ojeda commented Jul 2, 2021

@bjorn3 Let me know if you prefer that I add an email to your name (for Suggested-by tags etc.).

@bjorn3
Copy link
Member

bjorn3 commented Jul 2, 2021

@ojeda
Copy link
Member Author

ojeda commented Jul 2, 2021

Great, thanks!

ojeda added 2 commits July 2, 2021 19:37
Suggested-by: bjorn3 <bjorn3_gh@protonmail.com>
Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
Suggested-by: bjorn3 <bjorn3_gh@protonmail.com>
Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
@ksquirrel
Copy link
Member

Review of f8f3aa1ade8b:

  • ⚠️ The PR body message looks too short.
  • ✔️ Commit ad1a743: Looks fine!
  • ✔️ Commit 0627f1a: Looks fine!
  • ✔️ Commit f8f3aa1: Looks fine!

@ojeda ojeda merged commit e9190d8 into Rust-for-Linux:rust Jul 2, 2021
@ojeda ojeda deleted the makefile branch July 2, 2021 18:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants