diff options
Diffstat (limited to '')
| -rw-r--r-- | win/make_dist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/win/make_dist.py b/win/make_dist.py index 29eb2d2..edb0e6a 100644 --- a/win/make_dist.py +++ b/win/make_dist.py @@ -94,7 +94,7 @@ def main(config, tap=True): dest = {'amd64' : amd64, 'i386' : i386} for dirpath, dirnames, filenames in os.walk(home_fn(ti_dir)): for f in filenames: - if f == 'devcon.exe': + if f in ( 'devcon.exe', 'tapinstall.exe' ): dir_name = os.path.basename(dirpath) src = os.path.join(dirpath, f) dst = os.path.join(dest[dir_name],'tapinstall.exe') |