GaloisInc / saw-script

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

Improvements to build.sh. #2066

Closed sauclovian-g closed 4 months ago

sauclovian-g commented 4 months ago

Some scripting improvements to build.sh.

sauclovian-g commented 4 months ago

The force-push squashed the last two commits, which don't need to be separate in perpetuity.