redo.py: we weren't removing the lock if there was a build error, oops.

try/finally doesn't work if there's an os._exit() in there.
This commit is contained in:
Avery Pennarun 2010-11-16 04:06:26 -08:00
commit 75063244b2

View file

@ -165,9 +165,9 @@ def build(t):
return _build(t) return _build(t)
except BuildError, e: except BuildError, e:
err('%s\n' % e) err('%s\n' % e)
os._exit(1)
finally: finally:
unlink(lockname) unlink(lockname)
os._exit(1)
def main(): def main():