[Win32] Cannot 'make speed' in the 'tune' folder

[sisyphus1 at optusnet.com.au]

-----Original Message----- 
From: "Torbjörn" Granlund
Sent: Wednesday, December 30, 2015 7:49 PM
To: sisyphus1 at optusnet.com.au
Cc: gmp-bugs at gmplib.org
Subject: Re: [Win32] Cannot 'make speed' in the 'tune' folder

> We never ported timing things to WinDoS.
>
> One should not need to run any of the things in tune/ on non-Unix 
> platforms.  The important thing is to run it on each CPU type.

Could this information be provided in the documentation, please ?

For example, there's no mention of this at:
https://gmplib.org/manual/Performance-optimization.html#Performance-optimization

Thanks, Torbjorn.

Cheers,
Rob