diff deploy/osx/deploy.sh @ 726:720595a8fa10

Avoid using directory name that clashes with intended executable name
author Chris Cannam
date Mon, 17 Dec 2018 09:31:38 +0000
parents 5afb26b7575a
children 2cb03c4665aa
line wrap: on
line diff