New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Windows Batch is horrible; PowerShell is nicer #252

Open

emilazy opened this issue Oct 13, 2019 · 1 comment

Labels

Contributor

emilazy commented Oct 13, 2019 •

edited

It would be nice to have less horrifying build scripts, especially as they increase in complexity due to #251 and similar.

whitequark added the improvement label

Contributor

whitequark commented Oct 13, 2019

I wouldn't be the one to implement this. I would accept a PR implementing this though.

nmigen-issue-migration mentioned this issue

Windows Batch is horrible; PowerShell is nicer amaranth-lang/amaranth#252

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment