Re-worked the makefiles and includes to target z80 and gbz80 as well
[fw/sdcc] / device / include / stdarg.h
index 49e3a7221c0008edd8ad931df44465db9ab176d8..c65176943fe605a6da60227f96f040dc94ae8435 100644 (file)
@@ -5,7 +5,7 @@
 #ifndef __SDC51_STDARG_H
 #define __SDC51_STDARG_H 1
 
-#if defined(__ds390)
+#if defined(__ds390) || defined(__z80) || defined(__gbz80)
 
 typedef        unsigned char * va_list ;
 #define va_arg(marker,type) *((type *)(marker -= sizeof(type)))