From eb3416016b473478df027ab176f512d7136f8d45 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sun, 1 Jan 2017 10:54:28 -0800
Subject: [PATCH] * nt/gnulib.mk (stdint.h): Update to match lib/gnulib.mk
 here.

---
 nt/gnulib.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nt/gnulib.mk b/nt/gnulib.mk
index 916128f9be0..87b47a3bf57 100644
--- a/nt/gnulib.mk
+++ b/nt/gnulib.mk
@@ -820,6 +820,7 @@ stdint.h: stdint.in.h $(top_builddir)/config.status
 	      -e 's/@''BITSIZEOF_WINT_T''@/$(BITSIZEOF_WINT_T)/g' \
 	      -e 's/@''HAVE_SIGNED_WINT_T''@/$(HAVE_SIGNED_WINT_T)/g' \
 	      -e 's/@''WINT_T_SUFFIX''@/$(WINT_T_SUFFIX)/g' \
+	      -e 's/@''GNULIB_OVERRIDES_WINT_T''@/$(GNULIB_OVERRIDES_WINT_T)/g' \
 	      < $(srcdir)/stdint.in.h; \
 	} > $@-t && \
 	mv $@-t $@
-- 
2.39.5