From e8b5abe63e9bcab0e22ddcf87b5e4ed7b79068dc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 20 Jul 2020 11:17:29 -0700 Subject: [PATCH] revert - copy over xml in mk-dist mode #4578 Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index a8f2b4abd..439efbcad 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1714,8 +1714,6 @@ class DotNetDLLComponent(Component): '%s.dll' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name)) shutil.copy('%s.pdb' % os.path.join(build_path, self.dll_name), '%s.pdb' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name)) - shutil.copy('%s.xml' % os.path.join(build_path, self.dll_name), - '%s.xml' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name)) shutil.copy('%s.deps.json' % os.path.join(build_path, self.dll_name), '%s.deps.json' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name)) if DEBUG_MODE: @@ -1727,8 +1725,6 @@ class DotNetDLLComponent(Component): mk_dir(os.path.join(dist_path, INSTALL_BIN_DIR)) shutil.copy('%s.dll' % os.path.join(build_path, self.dll_name), '%s.dll' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name)) - shutil.copy('%s.xml' % os.path.join(build_path, self.dll_name), - '%s.xml' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name)) shutil.copy('%s.deps.json' % os.path.join(build_path, self.dll_name), '%s.deps.json' % os.path.join(dist_path, INSTALL_BIN_DIR, self.dll_name))