add the time(1) command to the list of install tools
ClosedPublic
Actions

Authored by wosch on Aug 1 2021, 12:41 PM.

Tags

None

Referenced Files

	F83682192: D31373.id.diff
	Mon, May 13, 2:13 PM

	Unknown Object (File)
	Sat, May 11, 5:28 AM

	Unknown Object (File)
	Tue, May 7, 8:42 AM

	Unknown Object (File)
	Mon, Apr 29, 5:55 PM

	Unknown Object (File)
	Mon, Apr 29, 5:55 PM

	Unknown Object (File)
	Mon, Apr 29, 5:55 PM

	Unknown Object (File)
	Sun, Apr 28, 5:55 PM

	Unknown Object (File)
	Tue, Apr 23, 8:52 AM

View All 37 Files

Subscribers

None

Details

Reviewers

dhw
emaste
imp

Commits

rGbbd16236e986: add the time(1) command to the list of install tools

Summary

David:

I believe that src/Makefile.inc1 needs a tweak to add "time" to the list
of "Required install tools to be saved in a scratch dir for safety"

This fix an issue introduced by 99feb137f5f66f903bba816c1d98ced2a92bef12

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Skipped

Unit

Tests Skipped

Event Timeline

wosch requested review of this revision.Aug 1 2021, 12:41 PM

wosch created this revision.

wosch edited the summary of this revision. (Show Details)Aug 1 2021, 12:43 PM

This worked for me.

This revision is now accepted and ready to land.Aug 1 2021, 12:53 PM

Closed by commit rGbbd16236e986: add the time(1) command to the list of install tools (authored by wosch). · Explain WhyAug 1 2021, 1:28 PM

This revision was automatically updated to reflect the committed changes.

wosch added a commit: rGbbd16236e986: add the time(1) command to the list of install tools.

I committed the fix. Sorry for the short term notice, but given that some of our main jenkins jobs are not running there was some urgency. We can improve the fix later if you want.

Fine with me

Revision Contents
Changeset List

Path

Size

Makefile.inc1

2 lines

Diff 93074

View Options

add the time(1) command to the list of install toolsClosedPublicActions