From e03f01799d8b00de9e42a77dbe0a2b7faa95bc76 Mon Sep 17 00:00:00 2001
From: Antti Kantee <pooka@iki.fi>
Date: Sat, 12 Jul 2014 11:12:56 +0000
Subject: [PATCH] no longer remove rumpsrc in distcleanrump

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

diff --git a/Makefile b/Makefile
index a2e1f1d..8bbd8cf 100644
--- a/Makefile
+++ b/Makefile
@@ -187,7 +187,6 @@ cleanrump: clean
 	rm -rf rump rumpobj rumptools
 
 distcleanrump: cleanrump
-	rm -rf rumpsrc
 
 define all_sources
      ( find . -follow -name SCCS -prune -o -name '*.[chS]' -print )
-- 
2.39.5