1 files changed, 8 insertions, 7 deletions
diff --git a/configure b/configure
index 1dfcd68..4c7c641 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: configure,v 1.55 2002/01/21 15:56:13 ukai Exp $
+# $Id: configure,v 1.56 2002/01/29 03:23:44 ukai Exp $
 #	Configuration.
 #
 
@@ -1717,20 +1717,21 @@ else
   def_have_sys_select_h='#undef HAVE_SYS_SELECT_H'
 fi
 
-####### check for stdint.h
+####### check for inttypes
 cat > _zmachdep.c <<EOF
-#include <stdint.h>
+#include <inttypes.h>
 main()
 { 
+  uintptr_t p;
   ;
 }
 EOF
 if $cc $cflags -c _zmachdep.c > /dev/null 2>&1
 then
-  echo "You have stdint.h."
-  def_have_stdint_h='#define HAVE_STDINT_H'
+  echo "You have inttypes.h."
+  def_have_inttypes_h='#define HAVE_INTTYPES_H'
 else
-  def_have_stdint_h='#undef HAVE_STDINT_H'
+  def_have_inttypes_h='#undef HAVE_INTTYPES_H'
 fi
 
 ####### setpgrp(pid, pgrp) or setpgrp() ?
@@ -2134,7 +2135,7 @@ $def_longjmp
 $def_jmpbuf
 $def_have_float_h
 $def_have_sys_select_h
-$def_have_stdint_h
+$def_have_inttypes_h
 
 $def_sighandler
 $def_sig_arg