Skip to content

Commit 1cd3871

Browse files
committed
Fix make clean, add make wipe
1 parent eafd042 commit 1cd3871

File tree

1 file changed

+10
-1
lines changed

1 file changed

+10
-1
lines changed

Makefile

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,16 @@ test: ## Run the unit tests
2929

3030
.PHONY: clean
3131
clean: ## Clean build artifacts and other generated files
32-
dune clean --root .
32+
@if [ -d dune.pkg ]; then \
33+
echo "Backing up dune.pkg..."; \
34+
mv dune.pkg dune.pkg.bak; \
35+
dune clean --root .; \
36+
mv dune.pkg.bak dune.pkg; \
37+
fi
38+
39+
.PHONY: wipe
40+
wipe:
41+
dune clean root .
3342

3443
.PHONY: doc
3544
doc: ## Generate odoc documentation

0 commit comments

Comments
 (0)