diff --git a/gcc/fixinc.dgux b/gcc/fixinc.dgux
index 89133b98a2d..6a7b1a57aea 100755
--- a/gcc/fixinc.dgux
+++ b/gcc/fixinc.dgux
@@ -133,19 +133,27 @@ if [ -r ${INPUT}/$file ]; then
   echo Replacing $file
   cat > ${LIB}/$file << EOF
 /* This file was generated by fixinc.dgux.  */
+#ifndef __INT_VARARGS_H
+#define __INT_VARARGS_H
 
-/* Define __gnuc_va_list, just as in gstdarg.h.  */
-
+#if defined(__m88k__) && defined (__DGUX__)
 #ifndef __GNUC_VA_LIST
 #define __GNUC_VA_LIST
-#if defined(__svr4__) || defined(_AIX) || defined(_M_UNIX)
-typedef char *__gnuc_va_list;
-#else
-typedef void *__gnuc_va_list;
-#endif
-#endif
+typedef struct
+{
+  int  __va_arg;		/* argument number */
+  int *__va_stk;		/* start of args passed on stack */
+  int *__va_reg;		/* start of args passed in regs */
+} __gnuc_va_list;
+#endif /* not __GNUC_VA_LIST */
+#endif /* 88k && dgux */
 
+#ifndef _VA_LIST_
+#define _VA_LIST_
 typedef __gnuc_va_list va_list;
+#endif /* _VA_LIST_ */
+
+#endif /* __INT_VARARGS_H */
 
 EOF
   chmod a+r ${LIB}/$file