diff configure @ 35400:074069bb765a

Don't increment a pointer which might be null.
author ib
date Wed, 28 Nov 2012 11:57:52 +0000
parents 9d626905f38b
children 1a510ca3a047
line wrap: on
line diff