Bugfix: old DMG was not deleted

This commit is contained in:
Alessandro Ranellucci 2017-03-06 13:38:04 +01:00 committed by GitHub
parent 63f66314c8
commit 1ea3dd7423

View File

@ -53,7 +53,7 @@ if [[ -d "${appfolder}" ]]; then
rm -rf ${appfolder} rm -rf ${appfolder}
fi fi
if [[ -d "${dmgfile}" ]]; then if [[ -e "${dmgfile}" ]]; then
echo "Deleting old dmg ${dmgfile}." echo "Deleting old dmg ${dmgfile}."
rm -rf ${dmgfile} rm -rf ${dmgfile}
fi fi