diff options
author | Adin Scannell <ascannell@google.com> | 2021-01-12 22:23:13 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-01-12 22:25:46 -0800 |
commit | fb95e13df5749082e4be0a2b5c470dd09f1f8554 (patch) | |
tree | 8a05ce23c784c1c01984ff3df41bc8f64798383d /Makefile | |
parent | e74aa25e2289878fdbfc7affdd2e031be3a99b31 (diff) |
Don't remove release directory.
If the release directory is a parent directory (for reasons), then this causes
a few problems (to say the least).
PiperOrigin-RevId: 351515882
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -433,7 +433,7 @@ $(RELEASE_ARTIFACTS)/%: @$(call copy,//debian:debian,$@) release: $(RELEASE_KEY) $(RELEASE_ARTIFACTS)/$(ARCH) - @rm -rf $(RELEASE_ROOT) && mkdir -p $(RELEASE_ROOT) + @mkdir -p $(RELEASE_ROOT) @NIGHTLY=$(RELEASE_NIGHTLY) tools/make_release.sh $(RELEASE_KEY) $(RELEASE_ROOT) $$(find $(RELEASE_ARTIFACTS) -type f) .PHONY: release |