--- compilercache.orig	Tue Oct 30 13:19:50 2001
+++ compilercache	Wed Jan  9 22:09:44 2002
@@ -278,6 +278,12 @@
 #cp "$FASTTMPFILE" "$INPUT".identify
 HASHVAL="$(md5sum "$FASTTMPFILE" | sed 's/ .*$//')"
 HASHFILE="$CACHEDIR/$HASHVAL"
+
+# shall we delete the hashed file before using?
+if ! [ "$KILLCOMPILERCACHE" = "" ]; then
+  rm -f "$HASHFILE"
+  debugmsg "(removing from cache)"
+fi 
 
 # make sure we are in the cache. if not then compile
 if ! [ -a "$HASHFILE" ]; then