From deb63d811784855bbdd81d5b76c274aa8041dd1f Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 13 Jan 2005 00:13:21 +0000
Subject: [PATCH] (OUTPUT_EXT, TAB_EXT): Define only if not defined already. 
 Let config.h define any nonstandard values.

---
 src/system.h | 25 +++++++++----------------
 1 file changed, 9 insertions(+), 16 deletions(-)

diff --git a/src/system.h b/src/system.h
index 23fe5f55..1d681c9a 100644
--- a/src/system.h
+++ b/src/system.h
@@ -1,6 +1,7 @@
 /* System-dependent definitions for Bison.
 
-   Copyright (C) 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
+   Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005 Free Software
+   Foundation, Inc.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -170,21 +171,13 @@ do {								\
 | Extensions to use for the output files.  |
 `-----------------------------------------*/
 
-#ifdef VMS
-  /* VMS. */
-# define TAB_EXT	"_tab"
-# define OUTPUT_EXT	".output"
-#else /* ! VMS */
-# ifdef MSDOS
-   /* MS DOS. */
-#  define TAB_EXT	"_tab"
-#  define OUTPUT_EXT	".out"
-# else /* ! MSDOS */
-  /* Standard. */
-#  define TAB_EXT	".tab"
-#  define OUTPUT_EXT	".output"
-# endif /* ! MSDOS */
-#endif /* ! VMS */
+#ifndef OUTPUT_EXT
+# define OUTPUT_EXT ".output"
+#endif
+
+#ifndef TAB_EXT
+# define TAB_EXT ".tab"
+#endif
 
 #ifndef DEFAULT_TMPDIR
 # define DEFAULT_TMPDIR "/tmp"
-- 
2.45.2