tools/github-fetch: fix marking deleted

I used the wrong path variable here resulting in failure if anything was
deleted.

Signed-off-by: Paul Eggleton <paul.eggleton@linux.intel.com>
This commit is contained in:
Paul Eggleton 2018-10-31 16:21:40 +13:00
parent 17ced0ee38
commit eaae0d8b02

View File

@ -84,7 +84,7 @@ def fetchall(args):
deleted = False
for dirname in existing:
dirpath = os.path.join(outpath, dirname)
dirpath = os.path.join(args.outdir, dirname)
print('Marking %s as deleted' % dirname)
os.rename(dirpath, dirpath + '.deleted')
deleted = True