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/stddef.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/stddef.h')
-rw-r--r-- | make/stub_includes/gluegen/stddef.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/make/stub_includes/gluegen/stddef.h b/make/stub_includes/gluegen/stddef.h deleted file mode 100644 index a3890b08a..000000000 --- a/make/stub_includes/gluegen/stddef.h +++ /dev/null @@ -1,6 +0,0 @@ -#ifndef __stddef_h -#define __stddef_h - -#include <gluegen_types.h> - -#endif /* __stddef_h */ |