diff options
author | Sven Gothel <[email protected]> | 2011-06-11 01:50:42 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2011-06-11 01:50:42 +0200 |
commit | 536dc9979ae965fd5fc0e14bb306c6e2d12ac584 (patch) | |
tree | aa94f1db80145b203e074a3313986897d355aaa6 /make/stub_includes/gluegen/stdarg.h | |
parent | 9ea120c599476901fdfcc39f133abf26d7d22c0c (diff) |
Utilize GlueGen's platform independent header for stdin.h, gluegen_stdint.h, .. (remove local copy)
- Use them for gluegen code generation
- Use them for native compilation (cc)
Diffstat (limited to 'make/stub_includes/gluegen/stdarg.h')
-rw-r--r-- | make/stub_includes/gluegen/stdarg.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/make/stub_includes/gluegen/stdarg.h b/make/stub_includes/gluegen/stdarg.h deleted file mode 100644 index b5b585baa..000000000 --- a/make/stub_includes/gluegen/stdarg.h +++ /dev/null @@ -1,7 +0,0 @@ -#ifndef __stdarg_h -#define __stdarg_h - -#include <gluegen_types.h> - -#endif /* __stdarg_h */ - |