|
@@ -53,8 +53,7 @@ int main(int argc __attribute__((unused)),
|
|
int l = LINUX_VERSION_CODE & ~0xFF;
|
|
int l = LINUX_VERSION_CODE & ~0xFF;
|
|
int h = KERNEL_VERSION(${HDR_M},${HDR_m},0);
|
|
int h = KERNEL_VERSION(${HDR_M},${HDR_m},0);
|
|
|
|
|
|
- if(l != h)
|
|
|
|
- {
|
|
|
|
|
|
+ if (l != h) {
|
|
printf("Incorrect selection of kernel headers: ");
|
|
printf("Incorrect selection of kernel headers: ");
|
|
printf("expected %d.%d.x, got %d.%d.x\n", ${HDR_M}, ${HDR_m},
|
|
printf("expected %d.%d.x, got %d.%d.x\n", ${HDR_M}, ${HDR_m},
|
|
((LINUX_VERSION_CODE>>16) & 0xFF),
|
|
((LINUX_VERSION_CODE>>16) & 0xFF),
|