diff options
| -rwxr-xr-x | dxf_export/main.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dxf_export/main.sh b/dxf_export/main.sh index ef888b0..4a7f3f3 100755 --- a/dxf_export/main.sh +++ b/dxf_export/main.sh @@ -1,5 +1,7 @@ #! /usr/bin/env bash +set -e -o pipefail + in_file=$1 out_file=$2 |