diff options
Diffstat (limited to 'toolchain')
| -rw-r--r-- | toolchain/helpers.mk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toolchain/helpers.mk b/toolchain/helpers.mk index 64d50951b5..68759163e6 100644 --- a/toolchain/helpers.mk +++ b/toolchain/helpers.mk @@ -171,8 +171,7 @@ copy_toolchain_sysroot = \ # check_kernel_headers_version = \ if ! support/scripts/check-kernel-headers.sh $(1) $(2); then \ - echo "Incorrect selection of kernel headers"; \ - exit 1; \ + exit 1; \ fi # |
