diff --git a/core/main.mk b/core/main.mk index 3877bb2b78..cb8f5d7605 100644 --- a/core/main.mk +++ b/core/main.mk @@ -770,9 +770,10 @@ docs: $(ALL_DOCS) ALL_SDK_TARGETS := $(INTERNAL_SDK_TARGET) sdk: $(ALL_SDK_TARGETS) $(call dist-for-goals,sdk, \ - $(ALL_SDK_TARGETS) \ - $(SYMBOLS_ZIP) \ - ) + $(ALL_SDK_TARGETS) \ + $(SYMBOLS_ZIP) \ + $(INSTALLED_BUILD_PROP_TARGET) \ +) .PHONY: findbugs findbugs: $(INTERNAL_FINDBUGS_HTML_TARGET) $(INTERNAL_FINDBUGS_XML_TARGET)