Pass along `IGNORECOMPCERTVERSION` to `calc_install_files`

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

425 stars 91 forks source link

Closed JasonGross closed 10 months ago

JasonGross commented 10 months ago

Fixes #706

Plausibly we should stop suppressing stderr from calc_install_files? I'll open another PR to do that only when the commands fail.