tree e677a7af9dfdef5d35f362defeadb12f61aedd69
parent 8eaa5859157a272c668219208374e7acfb5db9f0
author Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1190723649 -0000
committer Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1190723649 -0000

- make sure that configure doesn't see a wrong cache