On Sun, 2022-09-25 at 13:30 +0300, Eli Zaretskii wrote: > > From: Paul Smith <psm...@gnu.org> > > Cc: bug-make@gnu.org > > Date: Sat, 24 Sep 2022 16:44:44 -0400 > > > > On Sat, 2022-09-24 at 16:41 -0400, Paul Smith wrote: > > > makeint.h already has HAVE_MAKEINT_H > > > > Doh, I meant HAVE_INTTYPES_H of course. > > Is the below OK?
Works for me. Thanks Eli.