diff -r 000000000000 -r 6474c204b198 build/sccache.mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build/sccache.mk	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,7 @@
+preflight:
+	# Terminate any sccache server that might still be around
+	-python2.7 $(TOPSRCDIR)/sccache/sccache.py > /dev/null 2>&1
+
+postflight:
+	# Terminate sccache server. This prints sccache stats.
+	-python2.7 $(TOPSRCDIR)/sccache/sccache.py