Page MenuHomeFreeBSD

Only remove $INDEXFILE once a new index is ready
AbandonedPublic

Authored by bapt on Aug 4 2015, 7:39 AM.
Referenced Files
Unknown Object (File)
Sat, Jun 29, 12:45 AM
Unknown Object (File)
Tue, Jun 25, 11:38 AM
Unknown Object (File)
Jun 1 2024, 10:33 AM
Unknown Object (File)
Jun 1 2024, 8:09 AM
Unknown Object (File)
May 11 2024, 2:36 AM
Unknown Object (File)
May 6 2024, 7:51 AM
Unknown Object (File)
May 2 2024, 1:28 PM
Unknown Object (File)
Apr 30 2024, 2:44 PM
Subscribers
None

Details

Reviewers
jashank_rulingia.com
Group Reviewers
portmgr
Summary
Only remove $INDEXFILE once a new index is ready.  This allows users to
interrupt `make index` without losing an old index.


PR:		ports/202070

Diff Detail

Repository
rP FreeBSD ports repository
Lint
No Lint Coverage
Unit
No Test Coverage

Event Timeline

jashank_rulingia.com retitled this revision from to Only remove $INDEXFILE once a new index is ready.
jashank_rulingia.com updated this object.
jashank_rulingia.com edited the test plan for this revision. (Show Details)
jashank_rulingia.com set the repository for this revision to rP FreeBSD ports repository.
jashank_rulingia.com added a project: portmgr.
jashank_rulingia.com edited edge metadata.
  • '${INDEXDIR}/${INDEXFILE}.tmp' moves ${INDEXDIR}/${INDEXFILE}{.tmp,} by itself, leading to a spurious ENOENT when 'index' tries to do so.
  • while here, flag '${INDEXDIR}/${INDEXFILE}.tmp' as .PHONY.
bapt abandoned this revision.
bapt added a reviewer: jashank_rulingia.com.

An improved version has been committed to ports, thanks!