search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Use -v0 with cabal list-bin in build.sh. #2104

Closed sauclovian-g closed 3 months ago

sauclovian-g commented 3 months ago

Otherwise cabal will sometimes print extraneous output; we then end up passing that to cp and things become sad.