Re: generated sources Was: git: 408957613bc0 - main - Regen

2024-06-10 Thread John Baldwin
On 5/23/24 2:37 PM, Brooks Davis wrote: On Thu, May 23, 2024 at 11:20:08AM -0700, Gleb Smirnoff wrote: Hi, sorry for slightly diverting the discussion, but looks like this thread is the right place... On Wed, May 22, 2024 at 12:55:24PM -0700, John Baldwin wrote: J> I don't think it's worth

Re: generated sources Was: git: 408957613bc0 - main - Regen

2024-05-23 Thread Brooks Davis
On Thu, May 23, 2024 at 11:20:08AM -0700, Gleb Smirnoff wrote: > Hi, > > sorry for slightly diverting the discussion, but looks like this thread is the > right place... > > On Wed, May 22, 2024 at 12:55:24PM -0700, John Baldwin wrote: > J> I don't think it's worth reverting at this point. For

generated sources Was: git: 408957613bc0 - main - Regen

2024-05-23 Thread Gleb Smirnoff
Hi, sorry for slightly diverting the discussion, but looks like this thread is the right place... On Wed, May 22, 2024 at 12:55:24PM -0700, John Baldwin wrote: J> I don't think it's worth reverting at this point. For `make sysent` I would J> suggest 'sysent: Regen' as a commit log in the futur