diff configure @ 35189:33e13b4ddfcb

Fix copy-paste error found by Coverity (yes, it really has a COPY_PASTE_ERROR error-type for that...).
author reimar
date Tue, 30 Oct 2012 16:30:47 +0000
parents dff978cf2aa9
children 95e5df93e174
line wrap: on
line diff