This directory created by Configure to save information that should
persist across sessions for dist.

You may safely delete it if you wish.
