diff --git a/Makefile b/Makefile index 1c658da303..d3702ac327 100644 --- a/Makefile +++ b/Makefile @@ -35,8 +35,9 @@ $(BUILD)/kernel.all: $(LD_SCRIPT) $(LOCKFILE) $(MANIFEST) $(TARGET_SPEC) $(shell --bin kernel \ --manifest-path "$(MANIFEST)" \ --target "$(TARGET_SPEC)" \ + \ --release \ - -Z build-std=core,alloc -Zbuild-std-features=compiler-builtins-mem -Z json-target-spec \ + -Z build-std=core,alloc -Zbuild-std-features=compiler-builtins-mem \ --features=$(KERNEL_CARGO_FEATURES) \ -- \ -C link-arg=-T -Clink-arg="$(LD_SCRIPT)" \ @@ -62,5 +63,6 @@ check: --bin kernel \ --manifest-path "$(MANIFEST)" \ --target "$(TARGET_SPEC)" \ - -Z build-std=core,alloc -Zbuild-std-features=compiler-builtins-mem -Z json-target-spec \ + \ + -Z build-std=core,alloc -Zbuild-std-features=compiler-builtins-mem \ --features=$(KERNEL_CHECK_FEATURES)