254b1ec370a07bbd7d60c502ce3b38f4c1fef567,python/setup.py,build_ext,move_file,#build_ext#Any#,155

Before Change

        destination = os.path.join(self.build_lib, filename)
        // Create the target directory if it doesn"t already exist.
        parent_directory = os.path.dirname(destination)
        if not os.path.exists(parent_directory):
            os.makedirs(parent_directory)
        if not os.path.exists(destination):
            print("Copying {} to {}.".format(source, destination))
            shutil.copy(source, destination, follow_symlinks=True)

After Change

        os.makedirs(os.path.dirname(destination), exist_ok=True)
        if not os.path.exists(destination):
            print("Copying {} to {}.".format(source, destination))
            if sys.platform == "win32":
                // Does not preserve file mode (needed to avoid read-only bit)
                shutil.copyfile(source, destination, follow_symlinks=True)
            else:
                // Preserves file mode (needed to copy executable bit)
                shutil.copy(source, destination, follow_symlinks=True)


class BinaryDistribution(Distribution):
    def has_ext_modules(self):
        return True

Instances