From 4e2bd50ecbf6e2aed6caacf5f39bdf41f235b037 Mon Sep 17 00:00:00 2001
From: murx- <till@fam-os.org>
Date: Wed, 18 Mar 2020 11:25:05 +0100
Subject: dyninst buildfile cannot be deleted in dockerfile

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

diff --git a/Dockerfile b/Dockerfile
index d230fab..ad20dfa 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -28,7 +28,6 @@ RUN git clone https://github.com/dyninst/dyninst \
         && cmake .. \
         && make \
         && make install \
-        && cd .. ; rm -rf build ; cd ..
 
 RUN git clone https://github.com/vanhauser-thc/AFLplusplus \
         && cd AFLplusplus \
-- 
cgit 1.4.1