From 7fac7cf3f7eb102a73ad1c078ae4c3c5b7afd8e0 Mon Sep 17 00:00:00 2001 From: Andrew Gallant Date: Tue, 22 Jul 2014 17:05:03 -0400 Subject: [PATCH] Clean up after cargo. TODO: Learn enough about Cargo to get rid of Makefile. Maybe? --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 6161f4a..aad37ba 100644 --- a/Makefile +++ b/Makefile @@ -69,6 +69,7 @@ ctags: clean: rm -f $(BUILD)/.*.timestamp $(BUILD)/* + rm -rf target push: git push origin master