]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0351552) | patch
Mark zend_jit_print_regset as unused
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 11 Apr 2019 09:05:42 +0000 (11:05 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 11 Apr 2019 09:05:42 +0000 (11:05 +0200)
commitd31104faccd8b702cc6c7a365eb70a4ab81d9498
tree42f0e98c2abe66899b560ec2fa42fc8ff9a478c4tree | snapshot
parent0351552e1eb4b71360dd2f0c77e7aa1942f8346dcommit | diff
Mark zend_jit_print_regset as unused

This is a debugging function, so it's usually not going to be used
and we don't want to see a warning about that.
ext/opcache/jit/zend_jit.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.