diff --git a/builder.py b/builder.py index e21478a..bf2e373 100644 --- a/builder.py +++ b/builder.py @@ -139,6 +139,7 @@ class BuildJob: os.rename(tmpname, t) else: unlink(tmpname) + state.built(t) state.stamp(t) else: unlink(tmpname) diff --git a/state.py b/state.py index 6810bab..fce958d 100644 --- a/state.py +++ b/state.py @@ -71,7 +71,6 @@ def _stampname(t): def stamp(t): - built(t) mark(t) stampfile = _stampname(t) newstampfile = _sname('stamp' + str(os.getpid()), t)