Merge pull request #696 from antmicro/lock-mergedb

utils: mergedb: lock database accesses
This commit is contained in:
litghost
2019-03-05 16:41:06 -08:00
committed by GitHub
2 changed files with 21 additions and 2 deletions
+4 -1
View File
@@ -11,7 +11,10 @@ FUZZONLY=N
BITONLY=N
all:
clean: clean_fuzzers clean_logs
clean: clean_fuzzers clean_logs clean_locks
clean_locks:
rm -rf /tmp/segbits_*.db.lock
define fuzzer