今日は開発者向けツールの若干の整理があった！
2019-02-17
petk: Move some scripts from root directory to scripts/dev/
- https://github.com/php/php-src/commit/e0c88039b6d88b03a91dec34d69b2d776860135d
- [7.4~]
- 開発者向けのスクリプト snapshot と vcsclean をプロジェクトのルートディレクトリから scripts/dev/ へ移動
petk: Remove unused --copy option from the makedist
- https://github.com/php/php-src/commit/90054c1a698ff755ac63125267c2bb66e53dee2d
- [7.4~]
- makedist にあった
--copyオプションの利用箇所を削除 - かつて automake へのフラグとして使っていたが、だいぶ前に使われなくなっていた