michael@0: preflight:
michael@0: 	# Terminate any sccache server that might still be around
michael@0: 	-python2.7 $(TOPSRCDIR)/sccache/sccache.py > /dev/null 2>&1
michael@0: 
michael@0: postflight:
michael@0: 	# Terminate sccache server. This prints sccache stats.
michael@0: 	-python2.7 $(TOPSRCDIR)/sccache/sccache.py