From ade5db5f8280cd356ece3d9a59e6a56f00794391 Mon Sep 17 00:00:00 2001
From: Peter Körner
Date: Wed, 12 Oct 2016 09:35:01 +0200
Subject: lint php-files before deploying

---
 deploy.sh | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'deploy.sh')

diff --git a/deploy.sh b/deploy.sh
index a723ce8..2e1b822 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -1,4 +1,11 @@
 #!/bin/sh
+
+find . -name "*.php" -print0 | xargs -0 -n1 php -l
+if [ $? -ne 0 ]; then
+	echo "not deploying b0rken code ;)"
+	exit 1
+fi
+
 ssh voc@lb.dus.c3voc.de 'sudo sh' << EOT
 cd /srv/nginx/streaming-website
 git fetch origin
-- 
cgit v1.2.3