Merge pull request #625 from Tim-Zhang/update-makefile

agent: Add target optimize for Makefile
This commit is contained in:
Julio Montes 2020-08-27 07:58:50 -05:00 committed by GitHub
commit ad7dce47ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -91,6 +91,9 @@ $(TARGET): $(TARGET_PATH)
$(TARGET_PATH): $(SOURCES) | show-summary
@cargo build --target $(TRIPLE) --$(BUILD_TYPE)
optimize: $(SOURCES) | show-summary show-header
@RUSTFLAGS='-C link-arg=-s' cargo build --target $(TRIPLE) --$(BUILD_TYPE)
show-header:
@printf "%s - version %s (commit %s)\n\n" "$(TARGET)" "$(VERSION)" "$(COMMIT_MSG)"
@ -140,7 +143,8 @@ help: show-summary
.PHONY: \
help \
show-header \
show-summary
show-summary \
optimize
generate-protocols:
protocols/hack/update-generated-proto.sh "${PROTO_FILE}"