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