aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Hubel2021-04-14 21:31:21 +0200
committerAndreas Hubel2021-04-14 21:31:21 +0200
commit9a8263dbef092df3dc8544ac9e8b207485818b47 (patch)
treee49b9f0fe06276f357a6f0f63dcf8d5f9d5c8f42
parenta0e8a49beff57324b592a5f19c2126b81ce05f94 (diff)
do not check archived configs
Diffstat (limited to '')
-rwxr-xr-xdeploy.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/deploy.sh b/deploy.sh
index c7e020d..f6cf5db 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -5,7 +5,7 @@ for cmd in find xargs php git; do
done
-find . -name "*.php" -print0 | xargs -0 -n1 php -l
+find . -name "*.php" -print0 | grep -v archive | xargs -0 -n1 php -l
if [ $? -ne 0 ]; then
echo "not deploying b0rken code ;)"
exit 1