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)
Dec 26 2023, 12:26 PM
Unknown Object (File)
Dec 19 2023, 11:36 PM
Unknown Object (File)
Nov 13 2023, 12:15 PM
Unknown Object (File)
Nov 1 2023, 5:36 AM
Unknown Object (File)
Oct 25 2023, 8:26 AM
Unknown Object (File)
Sep 5 2023, 4:06 AM
Unknown Object (File)
Jul 25 2023, 3:34 AM
Unknown Object (File)
Jul 24 2023, 10:18 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
Lint Skipped
Unit
Tests Skipped

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!