Re: gmake-4.2.90 patch

[Paul Smith]

On Sun, 2019-09-01 at 18:57 -0400, Dmitry Goncharov via Bug reports and
discussion for GNU make wrote:
> This patch fixes a compilation error when time.h does not get
> indirectly included.
> 
> regards, Dmitry
> 
> diff --git a/src/file.c b/src/file.c
> index c20fcf8..f58e855 100644
> --- a/src/file.c
> +++ b/src/file.c
> @@ -17,6 +17,7 @@ this program.  If not, see <http://www.gnu.org/licenses/>.  
> */
>  #include "makeint.h"
> 
>  #include <assert.h>
> +#include <time.h>
> 
>  #include "filedef.h"
>  #include "dep.h"

Thanks.  I'm not sure why you're seeing this because time.h should be
included by makeint.h.

When providing patches for errors like this, it would be very helpful
if you could also include the compiler error you got (cut and paste is
best), and also if you could send me your src/config.h file so I can
take a look at it that would be helpful.

Thanks!