diff options
author | Andreas Hubel | 2021-04-14 21:31:21 +0200 |
---|---|---|
committer | Andreas Hubel | 2021-04-14 21:31:21 +0200 |
commit | 9a8263dbef092df3dc8544ac9e8b207485818b47 (patch) | |
tree | e49b9f0fe06276f357a6f0f63dcf8d5f9d5c8f42 /deploy.sh | |
parent | a0e8a49beff57324b592a5f19c2126b81ce05f94 (diff) |
do not check archived configs
Diffstat (limited to '')
-rwxr-xr-x | deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |