diff options
author | Remi Collet <remi@remirepo.net> | 2020-04-02 16:34:05 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2020-04-03 10:48:20 +0200 |
commit | e11d3b169000e44a82006b29a611afcf0c5e40b4 (patch) | |
tree | c2f5b304fcb767d73f66f4a63c1f0967044261c1 /.gitignore | |
parent | 6e1ff5f95198dc863d3aa08c5663e962f188becd (diff) | |
download | php-git-e11d3b169000e44a82006b29a611afcf0c5e40b4.tar.gz |
Move gen_stub.php to build directory and install it so phpize can take care of it, and thus extension can use it as it is already in Makefile
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index af807328f6..4fd4da9b37 100644 --- a/.gitignore +++ b/.gitignore @@ -80,8 +80,8 @@ include/ libs/ modules/ -# Used by scripts/dev/gen_stub.php -scripts/dev/PHP-Parser-* +# Used by build/gen_stub.php +build/PHP-Parser-* # ------------------------------------------------------------------------------ # Configuration headers generated by the PHP build system |