summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Cady <d@cryptonomic.net>2021-02-23 13:42:24 -0500
committerAndrew Cady <d@jerkface.net>2021-03-13 10:46:55 -0500
commitf902b9688ca7ec3b1590faca68567cbd12e44e6c (patch)
tree67c50fb75dead3c915c8a66b77352a5a2bbee3ec
parent236584bdc2ff2ac0b76da59e29b25203e8310523 (diff)
make "make mrproper" more proper
-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