From 22c23a77cf715597d5b49454bb1e2d535284d68b Mon Sep 17 00:00:00 2001 From: Mikael Djurfeldt Date: Thu, 21 Jan 1999 02:12:02 +0000 Subject: [PATCH] Updated --- configure | 1 + 1 file changed, 1 insertion(+) diff --git a/configure b/configure index 8010d4221..43294bb68 100755 --- a/configure +++ b/configure @@ -5255,6 +5255,7 @@ fi; done EOF cat >> $CONFIG_STATUS <> $CONFIG_STATUS <<\EOF test -z "$CONFIG_HEADERS" || echo timestamp > libguile/stamp-h