comment set -eo pipefail

pangenome · Oct 23, 2023 · ee6bb5f · ee6bb5f
1 parent 81efdfe
commit ee6bb5f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pggb b/pggb
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 
 # exit when any command fails
-set -eo pipefail
+#set -eo pipefail
 
 
 # wfmash's default values