From: Jim Meyering <jim@meyering.net>
Date: Fri, 21 Apr 1995 17:29:15 +0000 (+0000)
Subject: Update and add copyright.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2917e4a652abe739fc4541cdb25a9b744abeb3ae;p=pspp

Update and add copyright.
---

diff --git a/lib/error.h b/lib/error.h
index f7ef7e4192..4f28523837 100644
--- a/lib/error.h
+++ b/lib/error.h
@@ -1,12 +1,32 @@
+/* error.h -- declaration for error-reporting function
+   Copyright (C) 1995 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
+   the Free Software Foundation; either version 2, or (at your option)
+   any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
+
 #ifndef _error_h_
 #define _error_h_
 
-#ifdef __GNUC__
-void error (int, int, const char *, ...)
-#if __GNUC__ > 1
-    __attribute__ ((format (printf, 3, 4)))
+#if __GNUC__ >= 2 && defined (__GNUC_MINOR__) \
+    && __GNUC_MINOR__ >= 5 && !defined (__STRICT_ANSI__)
+#define PRINTF_ATTRIBUTE __attribute__ ((format (printf, 3, 4)))
+#else
+#define PRINTF_ATTRIBUTE /* empty */
 #endif
-    ;
+
+#if __GNUC__
+void error (int, int, const char *, ...) PRINTF_ATTRIBUTE ;
 #else
 void error ();
 #endif