search

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Have build scripts fail on first failing command #24

Closed ISSOtm closed 3 years ago

ISSOtm commented 4 years ago

This avoids spurious errors from trying to copy files that weren't built, and mimics the behavior of other build systems

cascremers commented 3 years ago

Thank you!