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