summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsrc/manage.sh2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/manage.sh b/src/manage.sh
index 76f2358..3ac0303 100755
--- a/src/manage.sh
+++ b/src/manage.sh
@@ -42,8 +42,6 @@ SSH_KEY="id_rsa"
SSH_CONFIG="ssh.config"
SSH_USER="flufigut"
-set -e
-
deploy_all() {
for machine in "$OUTPUT_DIR"/*; do
if [ -d "$machine" ]; then