On Fri, Dec 1, 2023, at 12:21 AM, Bruno Haible wrote: > Hi, > > Through these two commits to config.sub > > https://git.savannah.gnu.org/gitweb/?p=config.git;a=commitdiff;h=91f6a7f616b161c25ba2001861a40e662e18c4ad > > https://git.savannah.gnu.org/gitweb/?p=config.git;a=commitdiff;h=28ea239c53a2d5d8800c472bc2452eaa16e37af2 > the host_os values windows* (and in particular windows*-msvc*) were > introduced, to denote native Windows environments.
I had been under the impression (following a lengthy argument on the config- patches mailing list) that these were going to be at least partially reverted, but your patch does no harm in any case, so I've applied it. zw
