Set executable bit on make.sh, and make it exit if any command fails - Githubissues

digama0 / mm0

Metamath Zero specification language

Creative Commons Zero v1.0 Universal

312 stars 40 forks source link

Set executable bit on make.sh, and make it exit if any command fails #109

Closed joliss closed 2 years ago