Merge pull request #2642 from whitequark/cxxrtl-noproc-fixes
authorwhitequark <whitequark@whitequark.org>
Thu, 11 Mar 2021 20:01:10 +0000 (20:01 +0000)
committerGitHub <noreply@github.com>
Thu, 11 Mar 2021 20:01:10 +0000 (20:01 +0000)
commitfeff32914bfeefbc7e02cc73639ce3d7ae44d331
tree814b5253167de86168803d5a612413dcc339d988
parent81c2b92bb419d5b58d47fa8bb8cbb134fb2773bc
parentab76d9cec5ba38539f1578a78f3c810a659ea092
Merge pull request #2642 from whitequark/cxxrtl-noproc-fixes

CXXRTL: some -noproc fixes