On 24/11/2025 11:12, Gilles Sadowski wrote:
Le lun. 24 nov. 2025 à 11:26, Mark Thomas <[email protected]> a écrit :
On 22/11/2025 13:15, Gilles Sadowski wrote:
Le sam. 22 nov. 2025 à 14:09, sebb <[email protected]> a écrit :
[...]
What OS/hardware are you using?
Debian GNU/Linux
$ uname -a
Linux eccen 5.10.0-32-amd64 #1 SMP Debian 5.10.223-1 (2024-08-10)
x86_64 GNU/Linux
One more thing to check. Is "autoreconf" installed?
Yes, it is.
$ autoreconf --version
autoreconf (GNU Autoconf) 2.69
Copyright (C) 2012 Free Software Foundation, Inc.
License GPLv3+/Autoconf: GNU GPL version 3 or later
<http://gnu.org/licenses/gpl.html>, <http://gnu.org/licenses/exceptions.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Written by David J. MacKenzie and Akim Demaille.
Hmm. A little older than the version I am using but only a couple of
versions.
Looking at the version info, this looks like Debian 11. Is that correct?
I might try setting up a VM to see what is going on.
Mark
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
