mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-21 04:06:46 +00:00
b1c2ec1745
1. Update DEPORIGIN in addition to @pkgdep entries in +CONTENTS 2. Give more details about why a port moved 3. grep for the old port name in existing +CONTENTS files, since the new name will not appear at all Also, stretch the window to wait for a background 'make checksum' to complete to 5 seconds instead of 3 |
||
---|---|---|
.. | ||
files | ||
Makefile | ||
pkg-descr |