30 def copy_one_file(dest_dir, source_dir, filename):  argument
31     source_path = os.path.join(source_dir, filename)
39         source_dir,  argument
44         copy_one_file(dest_dir, source_dir, file + '.' + ext)
46             copy_one_file(dest_dir, source_dir, file + '_d.' + ext)
49 def copy_subdirectory(dest_dir, source_dir, subdir):  argument
51     source_dir = os.path.join(source_dir, subdir)
52     print('Copying directory %s ==> %s...' % (source_dir, dest_dir))
53     shutil.copytree(source_dir, dest_dir)
56 def copy_distro(dest_dir, dest_subdir, source_dir, source_prefix):  argument
59     print('Copying distribution %s ==> %s' % (source_dir, dest_dir))
62     PCbuild_dir = os.path.join(source_dir, 'PCbuild')
83     copy_subdirectory(dest_dir, source_dir, 'Include')
87     copy_subdirectory(dest_dir, source_dir, 'Lib')
95     tools_source_dir = os.path.join(source_dir, 'Tools')