diff configure @ 33868:1714e25ded23

Another attempt to make message easier to understand.
author reimar
date Tue, 09 Aug 2011 18:53:43 +0000
parents e6e45359f24f
children 1395723bf048
line wrap: on
line diff