Update generated filenames to be more desciptive.
wmat opened this issue · 3 comments
wmat commented
To more desciptively name the generated filenames, updating to be:
riscv-unprivileged and riscv-privileged.
aswaterman commented
I'm mucking around in the Makefile now anyway, so I'll handle this one.
wmat commented
Didn’t I make a PR today for this? I know there’s a 1536- branch.
Bill Traynor
Documentation Build and Release Engineer
RISC-V International
Join us in Munich, Germany at RISC-V Summit Europe
<https://riscv-europe.org/summit/2024/> from 24-28 June. Be a part of the
new wave of European computing innovation!
…On Wed, May 29, 2024 at 8:38 PM Andrew Waterman ***@***.***> wrote:
Closed #1437 <#1437> as
completed via ae2931a
<ae2931a>
.
—
Reply to this email directly, view it on GitHub
<#1437 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAAN6ZG274AKXOGRQDF5YPDZEZYI3AVCNFSM6AAAAABIPI3GROVHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJSHE3TQNJWGI4DQMA>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
aswaterman commented
I must have missed it; I only saw this unlinked issue. Sorry about that.