aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRafael Laboissière <rafael@laboissiere.net>2025-06-25 07:39:05 -0300
committerRafael Laboissière <rafael@laboissiere.net>2025-06-25 07:39:05 -0300
commit8c7187fd189cd8b5fe77379110e2a25dbaac3743 (patch)
tree491910df829eafa06ae87738389e587c76782c78
parenta1cc0998e9b9dd87b883e1e158c37af81706fea3 (diff)
Remove repository directories in target clean
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 012f8a6..7024876 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,7 @@ install: build-stamp
.PHONY: clean
clean:
- rm -f $(BUILD) build-stamp
+ rm -rf $(BUILD) build-stamp $(REPODATA)
.PHONY: install-repo
install-repo: