mirror of
https://github.com/php/php-src.git
synced 2024-09-21 09:57:23 +00:00
Some crappy makes don't handle the .PHONY target correctly.
So we force a rebuild of generated_lists
This commit is contained in:
parent
4850e34bf3
commit
0181cae318