set -e
diff --git a/integrate_new_projects.sh b/integrate_new_projects.sh index a9f8a1c..f3612b7 100755 --- a/integrate_new_projects.sh +++ b/integrate_new_projects.sh
@@ -1,4 +1,5 @@ #!/bin/bash +set -e # environment . setuptokens.sh
diff --git a/post_build.sh b/post_build.sh index fd6c039..6b3a601 100755 --- a/post_build.sh +++ b/post_build.sh
@@ -1,3 +1,5 @@ +#!/bin/bash +set -e make compress git add -u . git add gds/ lef/ verilog/gl/ verilog/rtl/