X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Fstdint.m4;h=dff37fe1bf9fdee7ff36c67d0e82c5489223e625;hb=76d82d2d7f5ba1a69da6aaa71ff170f5a90a6c94;hp=e7d0d0765a2b3cf28cfc4b339e70609ef9414538;hpb=b4b6391081d1173278396afdf098be68b1768752;p=pspp

diff --git a/m4/stdint.m4 b/m4/stdint.m4
index e7d0d0765a..dff37fe1bf 100644
--- a/m4/stdint.m4
+++ b/m4/stdint.m4
@@ -1,4 +1,4 @@
-# stdint.m4 serial 39
+# stdint.m4 serial 40
 dnl Copyright (C) 2001-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -305,6 +305,7 @@ static const char *macro_values[] =
     STDINT_H=stdint.h
   fi
   AC_SUBST([STDINT_H])
+  AM_CONDITIONAL([GL_GENERATE_STDINT_H], [test -n "$STDINT_H"])
 ])
 
 dnl gl_STDINT_BITSIZEOF(TYPES, INCLUDES)