Slight amendment to the workaround: -k fails if the full ccache name (FILE:/tmp/foo) is given, so it's necessary to specify only and exactly the path name, and let the ccache type default automagically.
-GAWollman -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
