diff install-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 c053d985ec8c
children
line wrap: on
line diff