search

GaloisInc / saw-script

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

build.sh doesn't stop on error #2062

Closed sauclovian-g closed 4 months ago

sauclovian-g commented 5 months ago

build.sh doesn't stop if the compile fails; it should use set -e (or explicitly check for error).

sauclovian-g commented 5 months ago

(I have a patch for this but it sits on top of #2061 so it's going to have to wait a bit)