diff deploy/osx/deploy.sh @ 835:be6dc4349cc7

Fix a couple of not-very-realistic potential null-pointer derefs (from coverity scan)
author Chris Cannam
date Wed, 03 Sep 2014 12:08:35 +0100
parents d18c89386a71
children 40ff7c801fc2 bd3728701e1e
line wrap: on
line diff