From 7bf480be9a67179c3decbf77a4d1783ac66aa6b3 Mon Sep 17 00:00:00 2001
From: steve <steve>
Date: Thu, 6 Dec 2001 02:55:24 +0000
Subject: [PATCH]  Some bison versions choose different output names.

---
 Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 82c1ea071..5c9e83320 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -16,7 +16,7 @@
 #    59 Temple Place - Suite 330
 #    Boston, MA 02111-1307, USA
 #
-#ident "$Id: Makefile.in,v 1.108 2001/12/03 04:47:14 steve Exp $"
+#ident "$Id: Makefile.in,v 1.109 2001/12/06 02:55:24 steve Exp $"
 #
 #
 SHELL = /bin/sh
@@ -171,7 +171,7 @@ parse.o: parse.cc
 
 parse.h parse.cc: $(srcdir)/parse.y
 	bison --verbose -t -p VL -d -o parse.cc $(srcdir)/parse.y
-	mv parse.cc.h parse.h
+	mv parse.cc.h parse.h || mv parse.hh parse.h
 
 syn-rules.cc: $(srcdir)/syn-rules.y
 	bison --verbose -p syn_ -o syn-rules.cc $(srcdir)/syn-rules.y