Merge pull request #795 from lukechilds/patch-5

Don't exit fiat-cli on error
2018-07-29 23:54:51 -11:00
parent cb5f1c00c4 c2cff33674
commit a4cbb9d6b2
1 changed files with 0 additions and 1 deletions
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -1,5 +1,4 @@
 #!/bin/bash
-set -eo pipefail

 args="$@"