diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-03 13:41:09 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-03 13:41:09 +0100 |
commit | 6b38251820be4ab2eb38c55d41c6680d0bff83f3 (patch) | |
tree | 2835d6b3e0d83b9a75b2af4c4046950e0d6a2633 /scripts | |
parent | fc2663abeffdb3491f497f4674bd7b10437126ae (diff) | |
download | php-git-6b38251820be4ab2eb38c55d41c6680d0bff83f3.tar.gz |
Add bundled jit libraries to exclude list
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/dev/tidy.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/dev/tidy.php b/scripts/dev/tidy.php index 267f838a61..107f0c3a8f 100644 --- a/scripts/dev/tidy.php +++ b/scripts/dev/tidy.php @@ -22,6 +22,9 @@ $excludes = [ 'ext/hash/php_hash_whirlpool_tables.h', 'ext/mbstring/libmbfl/', 'ext/mbstring/unicode_data.h', + 'ext/opcache/jit/dynasm', + 'ext/opcache/jit/libudis86', + 'ext/opcache/jit/vtune', 'ext/pcre/pcre2lib/', 'ext/standard/html_tables/html_table_gen.php', 'ext/xmlrpc/libxmlrpc/', |