SOLVED Re: problem with ... make?
- In reply to: Robert Huff : "Re: problem with ... make?"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 06 Oct 2023 03:10:15 UTC
Turns out it was user error ... maybe? Was poking around, discovered make.conf had been mangled. Restored from backup; problem solved. ("Minion! Fetch me a wall, against which I may bang my head in humiliation.") Apologetically, Robert Huff