diff --git a/build_for_tests.sh b/build_for_tests.sh index af9008ec..32cf20bd 100755 --- a/build_for_tests.sh +++ b/build_for_tests.sh @@ -1,5 +1,7 @@ #! /bin/bash +set -e + cd /home/pg_partman make && make install