Only stop on crash

pull/78/head
Jérémy Lal 5 years ago
parent 82cd1da3b5
commit 79d9ea2b92

@ -4,7 +4,7 @@
#!/bin/bash
-set -ueo pipefail
-#set -x
+set -x
+set -e
REPO_DIR="$(cd "$(dirname "$0")" && pwd)"
SRC_DIR="$REPO_DIR/src"

Loading…
Cancel
Save