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)
Wed, Apr 17, 9:35 PM
Unknown Object (File)
Thu, Apr 11, 11:56 AM
Unknown Object (File)
Thu, Apr 11, 11:56 AM
Unknown Object (File)
Thu, Apr 11, 11:53 AM
Unknown Object (File)
Thu, Apr 11, 11:53 AM
Unknown Object (File)
Thu, Apr 11, 11:06 AM
Unknown Object (File)
Dec 26 2023, 12:26 PM
Unknown Object (File)
Dec 19 2023, 11:36 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!