From bca3ca205955543a56e7cfe6d407e876aeca85a0 Mon Sep 17 00:00:00 2001
From: Ralf Becker <RalfBecker@outdoor-training.de>
Date: Thu, 28 Jul 2016 17:03:35 +0200
Subject: [PATCH] try to improve speed of HHVM syntax check using -d hhvm.jit=0

---
 doc/php_syntax_check.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/php_syntax_check.sh b/doc/php_syntax_check.sh
index 8acd1bdfaf..f868353302 100755
--- a/doc/php_syntax_check.sh
+++ b/doc/php_syntax_check.sh
@@ -9,7 +9,7 @@
 cd `dirname $0`
 cd ..
 
-find ${@-.} -name '*.php' -exec php -l {} \; 2>&1 | \
+find ${@-.} -name '*.php' -exec php -d hhvm.jit=0 -l {} \; 2>&1 | \
 	# only show errors and PHP Deprecated, no success messages
 	egrep '^(PHP|Parse error)' | \
 	# suppress PHP Deprecated in vendor, as they need to be solved by the vendor