New fix for tcc.

Rev: src/module_support.c:1.25

src/module_support.c

@@ -6,7 +6,7 @@
 #include "pike_types.h"
 #include "error.h"
 
-RCSID("$Id: module_support.c,v 1.24 1999/04/25 21:14:05 grubba Exp $");
+RCSID("$Id: module_support.c,v 1.25 1999/04/25 21:16:36 grubba Exp $");
 
 /* Checks that args_to_check arguments are OK.
  * Returns 1 if everything worked ok, zero otherwise.
@@ -282,7 +282,9 @@ int get_args(struct svalue *s,
   int ret;
   va_start(ptr, fmt);
   ret=va_get_args(s, num_args, fmt, ptr);
-  va_end((void *)fmt);
+#ifndef __TenDRA__
+  va_end(fmt);
+#endif /* !__TenDRA */
   return ret;
 }