diff options
Diffstat (limited to 'partitions')
-rw-r--r-- | partitions/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/partitions/Makefile b/partitions/Makefile index 1e40c07..f6775a4 100644 --- a/partitions/Makefile +++ b/partitions/Makefile | |||
@@ -40,3 +40,8 @@ key: key.img | |||
40 | 40 | ||
41 | clean: | 41 | clean: |
42 | rm -rf _build whole.img key.img | 42 | rm -rf _build whole.img key.img |
43 | |||
44 | .PHONY: total-destroy | ||
45 | total-destroy: clean | ||
46 | rm -f persist.img | ||
47 | $(MAKE) persist.img | ||