From faa074da912c58f592a4bd93c063b12e128f179c Mon Sep 17 00:00:00 2001
From: Tuncer Ayaz <tuncer.ayaz@gmail.com>
Date: Sun, 2 Nov 2014 14:23:13 +0100
Subject: [PATCH] distclean: do not remove plt

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0be6427..886f5c2 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,6 @@ clean:
 distclean: clean
 	@rm -f dialyzer_warnings
 	@rm -rf deps
-	@rm -f ~/.dialyzer_rebar_*_plt
 
 debug:
 	@./bootstrap debug