diff options
-rw-r--r-- | init/main.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/init/main.c b/init/main.c index 0dd0e7a1f632..ea0f7250d222 100644 --- a/init/main.c +++ b/init/main.c | |||
@@ -70,15 +70,7 @@ | |||
70 | /* | 70 | /* |
71 | * This is one of the first .c files built. Error out early if we have compiler | 71 | * This is one of the first .c files built. Error out early if we have compiler |
72 | * trouble. | 72 | * trouble. |
73 | * | ||
74 | * Versions of gcc older than that listed below may actually compile and link | ||
75 | * okay, but the end product can have subtle run time bugs. To avoid associated | ||
76 | * bogus bug reports, we flatly refuse to compile with a gcc that is known to be | ||
77 | * too old from the very beginning. | ||
78 | */ | 73 | */ |
79 | #if (__GNUC__ < 3) || (__GNUC__ == 3 && __GNUC_MINOR__ < 2) | ||
80 | #error Sorry, your GCC is too old. It builds incorrect kernels. | ||
81 | #endif | ||
82 | 74 | ||
83 | #if __GNUC__ == 4 && __GNUC_MINOR__ == 1 && __GNUC_PATCHLEVEL__ == 0 | 75 | #if __GNUC__ == 4 && __GNUC_MINOR__ == 1 && __GNUC_PATCHLEVEL__ == 0 |
84 | #warning gcc-4.1.0 is known to miscompile the kernel. A different compiler version is recommended. | 76 | #warning gcc-4.1.0 is known to miscompile the kernel. A different compiler version is recommended. |