summaryrefslogtreecommitdiff
path: root/software/local_interrupts/Makefile
diff options
context:
space:
mode:
authorMegan Wachs <megan@sifive.com>2017-10-06 10:19:26 -0700
committerGitHub <noreply@github.com>2017-10-06 10:19:26 -0700
commitb53187a0434fe5e8dce288f55cfca36b292552e4 (patch)
tree8d87e93c6480a30fcd9b71dba6406b50c8eb7b2e /software/local_interrupts/Makefile
parentf584c01fafd402e004682c160fd66e8b78a5c496 (diff)
parent6053960215538a7eda160d9d5dda0a61e62b39f3 (diff)
Merge pull request #67 from dgrubb/Makefile-tweaks
Update Makefile with more user-friendly clean options
Diffstat (limited to 'software/local_interrupts/Makefile')
0 files changed, 0 insertions, 0 deletions