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)
CXXRTL: some -noproc fixes


Trivial merge