diff --git a/src/configure.in b/src/configure.in
index a8c1759df90d5a9a3b0eb92daff375afea00feec..4df7a47ef5d2d2107171857f5fd73dee51a39910 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -1,4 +1,4 @@
-AC_REVISION("$Id: configure.in,v 1.413 2000/08/29 18:05:00 hubbe Exp $")
+AC_REVISION("$Id: configure.in,v 1.414 2000/08/29 19:51:27 grubba Exp $")
 AC_INIT(interpret.c)
 AC_CONFIG_HEADER(machine.h)
 
@@ -2225,8 +2225,8 @@ int main()
 
    return 1;
 }
-	],pike_cv_own_gethrtime_rdtsc=yes,
-	pike_cv_own_gethrtime_rdtsc=no)
+	], pike_cv_own_gethrtime_rdtsc=yes,
+	pike_cv_own_gethrtime_rdtsc=no, pike_cv_own_gethrtime_rdtsc=no)
 	])
   if test "x$pike_cv_own_gethrtime_rdtsc" = "xyes"; then
     AC_MSG_RESULT(yes)