summaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2021-01-12 22:23:13 -0800
committergVisor bot <gvisor-bot@google.com>2021-01-12 22:25:46 -0800
commitfb95e13df5749082e4be0a2b5c470dd09f1f8554 (patch)
tree8a05ce23c784c1c01984ff3df41bc8f64798383d /Makefile
parente74aa25e2289878fdbfc7affdd2e031be3a99b31 (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--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b39eeeab6..f38560dc4 100644
--- a/Makefile
+++ b/Makefile
@@ -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