diff options
author | Bryan Drewery <bdrewery@FreeBSD.org> | 2017-07-24 23:32:46 +0000 |
---|---|---|
committer | Bryan Drewery <bdrewery@FreeBSD.org> | 2017-07-24 23:32:46 +0000 |
commit | 1ae1311d9c614a58b2c0ebcb8361aae943381e89 (patch) | |
tree | 3dc9aa59e3023013b68f6e5c94bf57add2d8d138 /etc/Makefile | |
parent | dc75d44eca2ec8269c89591c11d78e94f2b4a4fe (diff) | |
download | src-1ae1311d9c614a58b2c0ebcb8361aae943381e89.tar.gz src-1ae1311d9c614a58b2c0ebcb8361aae943381e89.zip |
NO_CLEAN: Utilize delete-old to remove old orphaned libraries/headers in WORLDTMP.
This prevents situations with -DNO_CLEAN from finding stale headers or
libraries in places that no longer exist or have moved. It avoids
the need to remove all of WORLDTMP by reusing what we already know
is obsolete.
MFC after: 1 month
Sponsored by: Dell EMC Isilon
Notes
Notes:
svn path=/head/; revision=321443
Diffstat (limited to 'etc/Makefile')
0 files changed, 0 insertions, 0 deletions