diff options
author | Adin Scannell <ascannell@google.com> | 2020-05-29 13:19:53 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-05-29 13:21:20 -0700 |
commit | c017ca8138e0f271b99f68a494cb37bfaeba5a54 (patch) | |
tree | 54a3976281ae20d0d1f49fc546d36450b2291628 | |
parent | 341be65421edff16fd9eeb593301ce1d66148772 (diff) |
Fix issue with make copy targets.
PiperOrigin-RevId: 313838809
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -173,7 +173,8 @@ $(RELEASE_KEY): release: $(RELEASE_KEY) ## Builds a release. @mkdir -p $(RELEASE_ROOT) @T=$$(mktemp -d /tmp/release.XXXXXX); \ - $(MAKE) copy TARGETS="runsc runsc:runsc-debian" DESTINATION=$$T && \ + $(MAKE) copy TARGETS="runsc" DESTINATION=$$T && \ + $(MAKE) copy TARGETS="runsc:runsc-debian" DESTINATION=$$T && \ NIGHTLY=$(RELEASE_NIGHTLY) tools/make_release.sh $(RELEASE_KEY) $(RELEASE_ROOT) $$T/*; \ rc=$$?; rm -rf $$T; exit $$rc .PHONY: release |