Don't exit fiat-cli on error

This commit is contained in:
Luke Childs
2018-07-30 11:52:30 +01:00
committed by GitHub
parent cb5f1c00c4
commit c2cff33674

View File

@@ -1,5 +1,4 @@
#!/bin/bash
set -eo pipefail
args="$@"