comparison deploy/linux/debian-dependencies.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 665da28f1da8
children 1d0a0fce4021
comparison
equal deleted inserted replaced
725:48e746f45bde 726:720595a8fa10