diff options
author | Megan Wachs <megan@sifive.com> | 2017-10-06 10:19:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-06 10:19:26 -0700 |
commit | b53187a0434fe5e8dce288f55cfca36b292552e4 (patch) | |
tree | 8d87e93c6480a30fcd9b71dba6406b50c8eb7b2e /software/global_interrupts/.unsupported-boards | |
parent | f584c01fafd402e004682c160fd66e8b78a5c496 (diff) | |
parent | 6053960215538a7eda160d9d5dda0a61e62b39f3 (diff) |
Merge pull request #67 from dgrubb/Makefile-tweaks
Update Makefile with more user-friendly clean options
Diffstat (limited to 'software/global_interrupts/.unsupported-boards')
0 files changed, 0 insertions, 0 deletions