diff --git a/src/configure.in b/src/configure.in
index 0a1f1c1ce8d9e40716fc5ce17a15e4ebb0724ad9..2bd1bf44ed809ecb097aba1d04dc72d8c8163eae 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -1,4 +1,4 @@
-AC_REVISION("$Id: configure.in,v 1.301 1999/06/24 22:07:29 hubbe Exp $")
+AC_REVISION("$Id: configure.in,v 1.302 1999/07/08 23:04:40 hubbe Exp $")
 AC_INIT(interpret.c)
 AC_CONFIG_HEADER(machine.h)
 
@@ -1097,6 +1097,7 @@ AC_TYPE_PID_T
 AC_TYPE_UID_T
 AC_TYPE_SIGNAL
 AC_CHECK_TYPE(time_t,INT32)
+AC_CHECK_TYPE(pri_t, short)
 
 dnl AC_CHECK_LIB(PW, alloca)