Re: Crash in 2.25.4

[Colin Campbell]

On 2023-05-18 01:55, Jean Abou Samra wrote:
I'm going nuclear tomorrow: delete my clone, and start over.

No need to be *that* nuclear, you can just remove the build directory and start 
a fresh build.


Deleted /build,

 mkdir build,

cd build

ran make successfully, got carried away and may have shot myself in the 
foot by running sudo make install.

No change in the error behaviour.

cheers,

Colin