gpxe: delete long since obsolete snapshot of gPXE

gPXE has been deprecated in favor of iPXE for many, many years now.
It is much better than users get it directly from the iPXE project,
since we should no longer need any special modifications for Syslinux
use.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>

1 files changed, 0 insertions, 36 deletions

diff --git a/gpxe/src/include/stdint.h b/gpxe/src/include/stdint.h
deleted file mode 100644
index 8cc9b84a..00000000
--- a/gpxe/src/include/stdint.h
+++ /dev/null
@@ -1,36 +0,0 @@
-#ifndef _STDINT_H
-#define _STDINT_H
-
-FILE_LICENCE ( GPL2_OR_LATER );
-
-/*
- * This is a standard predefined macro on all gcc's I've seen. It's
- * important that we define size_t in the same way as the compiler,
- * because that's what it's expecting when it checks %zd/%zx printf
- * format specifiers.
- */
-#ifndef __SIZE_TYPE__
-#define __SIZE_TYPE__ unsigned long /* safe choice on most systems */
-#endif
-
-#include <bits/stdint.h>
-
-typedef int8_t s8;
-typedef uint8_t u8;
-typedef int16_t s16;
-typedef uint16_t u16;
-typedef int32_t s32;
-typedef uint32_t u32;
-typedef int64_t s64;
-typedef uint64_t u64;
-
-typedef int8_t int8;
-typedef uint8_t uint8;
-typedef int16_t int16;
-typedef uint16_t uint16;
-typedef int32_t int32;
-typedef uint32_t uint32;
-typedef int64_t int64;
-typedef uint64_t uint64;
-
-#endif /* _STDINT_H */