Disable PCRE JIT compilation

This fixes generation when using PHP7. Without this, no output is generated at all (for certain input files). Resolves hafriedlander#35.
kdambekalns · Oct 6, 2016 · 8844f0b · 8844f0b
1 parent 819c718
commit 8844f0b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cli.php b/cli.php
@@ -1,4 +1,5 @@
 <?php
+ini_set("pcre.jit", "0");
 
 require 'autoloader.php';