no longer remove rumpsrc in distcleanrump

diff --git a/Makefile b/Makefile
index a2e1f1dee19f6db7ab359feac70c097252eed87c..8bbd8cf7a1a092aa2049d9a72849ca8b78be17a5 100644 (file)
--- 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 )