Given a directory name as a target, try building dirname/all.
...if dirname/all.do exists. This is a convenient command-line shortcut.
This commit is contained in:
parent
edd8382a52
commit
3c42645cdf
1 changed files with 3 additions and 0 deletions
3
redo.py
3
redo.py
|
|
@ -121,6 +121,9 @@ if not vars.DEPTH:
|
|||
retcode = 0
|
||||
startdir = os.getcwd()
|
||||
for t in targets:
|
||||
if os.path.exists('%s/all.do' % t):
|
||||
# t is a directory, but it has a default target
|
||||
t = '%s/all' % t
|
||||
mkdirp('%s/.redo' % vars.BASE)
|
||||
os.chdir(startdir)
|
||||
try:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue