curremtly no one will try to compile a linux kernel from the boot loader. With current tcc it is not possible w/o additional tuning.
Unified · Split
| @@ -24,11 +24,6 @@ · 23 unmodified lines | |||
| 24 | #define _GNU_SOURCE | 24 | #define _GNU_SOURCE |
| 25 | #include "config.h" | 25 | #include "config.h" |
| 26 | 26 | ||
| 27 | #ifdef CONFIG_TCCBOOT | ||
| 28 | #include "tccboot.h" | ||
| 29 | #define CONFIG_TCC_STATIC | ||
| 30 | #else | ||
| 31 | |||
| 32 | #include <stdlib.h> | 27 | #include <stdlib.h> |
| 33 | #include <stdio.h> | 28 | #include <stdio.h> |
| 34 | #include <stdarg.h> | 29 | #include <stdarg.h> |
| @@ -83,8 +78,6 @@ · 48 unmodified lines | |||
| 83 | # endif | 78 | # endif |
| 84 | #endif | 79 | #endif |
| 85 | 80 | ||
| 86 | #endif /* !CONFIG_TCCBOOT */ | ||
| 87 | |||
| 88 | #ifndef O_BINARY | 81 | #ifndef O_BINARY |
| 89 | # define O_BINARY 0 | 82 | # define O_BINARY 0 |
| 90 | #endif | 83 | #endif |