diff options
| -rw-r--r-- | kernel/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/Makefile b/kernel/Makefile index 60c302cfb4d3..43c4c920f30a 100644 --- a/kernel/Makefile +++ b/kernel/Makefile | |||
| @@ -137,7 +137,7 @@ endif | |||
| 137 | 137 | ||
| 138 | ifneq ($(wildcard $(obj)/.x509.list),) | 138 | ifneq ($(wildcard $(obj)/.x509.list),) |
| 139 | ifneq ($(shell cat $(obj)/.x509.list),$(X509_CERTIFICATES)) | 139 | ifneq ($(shell cat $(obj)/.x509.list),$(X509_CERTIFICATES)) |
| 140 | $(info X.509 certificate list changed) | 140 | $(warning X.509 certificate list changed to "$(X509_CERTIFICATES)" from "$(shell cat $(obj)/.x509.list)") |
| 141 | $(shell rm $(obj)/.x509.list) | 141 | $(shell rm $(obj)/.x509.list) |
| 142 | endif | 142 | endif |
| 143 | endif | 143 | endif |
