diff Makefile @ 2307:0d2e0e8e76f6

obscache: set a valid "empty" cache key if the cache is missing This avoid detecting bad cache when it just happens to be no cache.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Tue, 02 May 2017 16:17:03 +0200
parents b53343c8d692
children 7cdbe18838bc
line wrap: on
line diff