goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

Make test scripts exit on error #50

Closed FeldrinH closed 1 year ago

FeldrinH commented 1 year ago

This fixes a quirk with the test scripts where they would continue on and launch an old version of the extension if compiling or packaging failed.