From d21a91217af312d654bfa17197b178773b33abfe Mon Sep 17 00:00:00 2001
From: Richard Stallman <rms@gnu.org>
Date: Wed, 24 Mar 1993 22:41:53 +0000
Subject: [PATCH] Use va-clipper.h.

From-SVN: r3869
---
 gcc/ginclude/stdarg.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gcc/ginclude/stdarg.h b/gcc/ginclude/stdarg.h
index c6c21dc..2669eab 100644
--- a/gcc/ginclude/stdarg.h
+++ b/gcc/ginclude/stdarg.h
@@ -16,6 +16,9 @@
    This is relevant only when building GCC with some other compiler.  */
 #include <stdarg.h>
 #else
+#ifdef __clipper__
+#include <va-clipper.h>
+#else
 #ifdef __m88k__
 #include <va-m88k.h>
 #else
@@ -91,6 +94,7 @@ void va_end (__gnuc_va_list);		/* Defined in libgcc.a */
 #endif /* not hppa */
 #endif /* not i860 */
 #endif /* not m88k */
+#endif /* not clipper */
 
 #ifdef _STDARG_H
 /* Define va_list, if desired, from __gnuc_va_list. */
-- 
2.7.4