diff --git a/waflib/Tools/wafcache.py b/waflib/Tools/wafcache.py index 5303b9f1..83e5d7a5 100644 --- a/waflib/Tools/wafcache.py +++ b/waflib/Tools/wafcache.py @@ -378,8 +378,8 @@ def lru_evict(): try: fcntl.flock(fd, fcntl.LOCK_EX | fcntl.LOCK_NB) except EnvironmentError: - sys.stderr.write('another process is running!\n') - pass + if Logs.verbose: + Logs.debug('wafcache: another cleaning process is running') else: # now dow the actual cleanup lru_trim()