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