diff configure @ 36315:e4ab2ab9eede

Factor out some common code.
author reimar
date Wed, 07 Aug 2013 18:21:06 +0000
parents ebf1b3af62cd
children 7129dbdaae8c
line wrap: on
line diff