|
From: Norman R. <nr...@cs...> - 2026-07-14 18:44:14
|
> On Mon, 13 Jul 2026, Norman Ramsey wrote: > > > Building on Debian stable, I'm running into this build issue... > > > > Please advise me how to proceed. > > I think > rm Makefile ; configure > should be sufficient. Add whatever configure options you usually use. This was sufficient; thank you. (And in the event, the system clock is fine, and the filesystem is ext4.) Norman |