summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3bc52a8a3..292fed9e4 100644
--- a/Makefile
+++ b/Makefile
@@ -82,5 +82,7 @@ stampdirs = ./ dh-runit/ libfido2/
82clean: 82clean:
83 rm -f $(addsuffix build-stamp, $(stampdirs)) $(addsuffix install-stamp, $(stampdirs)) 83 rm -f $(addsuffix build-stamp, $(stampdirs)) $(addsuffix install-stamp, $(stampdirs))
84 84
85mrproper: clean 85dh-clean:
86 dh clean 86 dh clean
87
88mrproper: clean dh-clean gitignore