redo-ifchange.py: don't forget to release jwack tokens on exit.
This only really matters if it exited abnormally... but it still matters.
This commit is contained in:
parent
867402e803
commit
9b800ca29f
1 changed files with 10 additions and 7 deletions
|
|
@ -1,6 +1,6 @@
|
|||
#!/usr/bin/python
|
||||
import sys, os, errno
|
||||
import vars, state, builder
|
||||
import vars, state, builder, jwack
|
||||
from helpers import debug, err, mkdirp, unlink
|
||||
|
||||
|
||||
|
|
@ -56,6 +56,7 @@ if not vars.TARGET:
|
|||
|
||||
rv = 202
|
||||
try:
|
||||
try:
|
||||
want_build = []
|
||||
for t in sys.argv[1:]:
|
||||
state.add_dep(vars.TARGET, 'm', t)
|
||||
|
|
@ -63,6 +64,8 @@ try:
|
|||
want_build.append(t)
|
||||
|
||||
rv = builder.main(want_build, maybe_build)
|
||||
finally:
|
||||
jwack.force_return_tokens()
|
||||
except KeyboardInterrupt:
|
||||
sys.exit(200)
|
||||
sys.exit(rv)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue