diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-18 11:33:07 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-09 14:51:25 +0200 |
commit | 33886f710cd45fd883d85558197e2df4eaba9ea1 (patch) | |
tree | 67d36ec5f4001c70b7c604b293461911f51951c1 /.gitignore | |
parent | 9b973550b90101577b1ee8d027b5b689fff0e81f (diff) | |
download | php-git-33886f710cd45fd883d85558197e2df4eaba9ea1.tar.gz |
Generate arginfo from PHP stub files
Signature stubs for internal functions are specified in xyz.stub.php,
from which we generate actual arginfo structures in xyz_arginfo.h.
This file then needs to be included in the implementation appropriately.
Arginfo from stubs can be regenerated using scripts/dev/gen_stub.php.
However, this should also automatically happen when the stub file is
modified.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 58cc8ecbb6..fbe8c113b2 100644 --- a/.gitignore +++ b/.gitignore @@ -80,6 +80,9 @@ include/ libs/ modules/ +# Used by scripts/dev/gen_stub.php +scripts/dev/PHP-Parser-* + # ------------------------------------------------------------------------------ # Configuration headers generated by the PHP build system # ------------------------------------------------------------------------------ |