Actually remove temporary source libraries

pull/1/merge
Michele Locati 2018-04-11 18:00:36 +02:00
parent 50a3f8ef6e
commit e0965d93e3
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 1 additions and 1 deletions

View File

@ -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