Fail CI script on any command error

milvusrobotics · Jun 19, 2021 · a951994 · a951994
1 parent 014f17d
commit a951994
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ci.sh b/ci.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+# Exit with any error.
+set -e
+
 # Should be run from the root directory of the repo.
 BUILD_DIR=build