phplint added

BrownBook · Sep 19, 2017 · 70b9be2 · 70b9be2
1 parent 988c700
commit 70b9be2
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.travis-build/phplint b/.travis-build/phplint
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+err=0
+
+find "$1" -name '*.php' | while read i; do
+    php -l "$i"
+    if [ $? -ne 0 ]; then err=1; fi
+done
+
+exit $err