Skip to content
Snippets Groups Projects
Commit ed45ad6b authored by Boris Yakobowski's avatar Boris Yakobowski Committed by Virgile Prevosto
Browse files

[Makefile] Makefile.kernel is actually dead now 

Remove it. Even better since is presence caused race conditions in
the compilation process
parent 15375efb
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment