molly guad

2022-07-01 23:16:49 +02:00 · 2022-07-01 23:16:49 +02:00 · 98f73942b8
commit 98f73942b8
parent 01103a1cb2
1 changed files with 1 additions and 0 deletions
--- a/build.sh
+++ b/build.sh
@ -1,5 +1,6 @@
 #!/bin/bash

+set -e				# obort on error

 cd Lib
 echo "========== in $PWD"