apenwarr-redo/redo-ood.py
Avery Pennarun 560f95fd77 Don't update the database during redo-ood.
Makes it slightly faster.
2010-12-19 03:50:55 -08:00

28 lines
574 B
Python
Executable file

#!/usr/bin/python
import sys, os
import vars_init
vars_init.init([])
import vars, state, deps
from log import err
if len(sys.argv[1:]) != 0:
err('%s: no arguments expected.\n' % sys.argv[0])
sys.exit(1)
cache = {}
def is_checked(f):
return cache.get(f.id, 0)
def set_checked(f):
cache[f.id] = 1
for f in state.files():
if f.is_generated and f.read_stamp() != state.STAMP_MISSING:
if deps.isdirty(f, depth='', max_changed=vars.RUNID,
is_checked=is_checked, set_checked=set_checked):
print f.nicename()