From e0965d93e30f6afd8151a47c0d392d7c3f87a144 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Wed, 11 Apr 2018 18:00:36 +0200
Subject: [PATCH] Actually remove temporary source libraries

---
 install-php-extensions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install-php-extensions b/install-php-extensions
index 42a17ad..7ac8e60 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -478,4 +478,4 @@ fi
 docker-php-source delete
 rm -rf /tmp/pear
 rm -rf /var/lib/apt/lists/*
-#rm -rf /tmp/src
+rm -rf /tmp/src