Skip to content
GitLab
Commit ffcb417b authored by Palmer Dabbelt's avatar Palmer Dabbelt Committed by Andrew Waterman
Browse files

Remove checked out tools on "make clean" 

These are downloaded by the Makefile so they should really get removed
on "make clean".
parent 999fa727
Hide whitespace changes
Inline Side-by-side
Supports Markdown
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