1 files changed, 0 insertions, 12 deletions
diff --git a/gpxe/src/include/stdarg.h b/gpxe/src/include/stdarg.h
deleted file mode 100644
index 78b261ae..00000000
--- a/gpxe/src/include/stdarg.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef _STDARG_H
-#define _STDARG_H
-
-FILE_LICENCE ( GPL2_OR_LATER );
-
-typedef __builtin_va_list va_list;
-#define va_start( ap, last ) __builtin_va_start ( ap, last )
-#define va_arg( ap, type ) __builtin_va_arg ( ap, type )
-#define va_end( ap ) __builtin_va_end ( ap )
-#define va_copy( dest, src ) __builtin_va_copy ( dest, src )
-
-#endif /* _STDARG_H */