From 5860167479e05b7c01caa61606dc4fb903acee17 Mon Sep 17 00:00:00 2001
From: Theo Belaire <theo.belaire@gmail.com>
Date: Tue, 14 Apr 2015 11:04:38 -0400
Subject: [PATCH] make clean deletes tmp, not tmp/*

This might fix bug #12966.
---
 mk/clean.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/clean.mk b/mk/clean.mk
index 5b90d41ceeceb..6a05c51ba93eb 100644
--- a/mk/clean.mk
+++ b/mk/clean.mk
@@ -42,7 +42,7 @@ clean-misc:
 	$(Q)rm -f $(RUNTIME_OBJS) $(RUNTIME_DEF)
 	$(Q)rm -f $(RUSTLLVM_LIB_OBJS) $(RUSTLLVM_OBJS_OBJS) $(RUSTLLVM_DEF)
 	$(Q)rm -Rf $(GENERATED)
-	$(Q)rm -Rf tmp/*
+	$(Q)rm -Rf tmp/
 	$(Q)rm -Rf rust-stage0-*.tar.bz2 $(PKG_NAME)-*.tar.gz $(PKG_NAME)-*.exe
 	$(Q)rm -Rf dist/*
 	$(Q)rm -Rf doc