changeset 5847:602265d1c653

* tools/msys2-install.py: copy .INSTALL to pkg dir as install
author John Donoghue <john.donoghue@ieee.org>
date Thu, 12 Aug 2021 14:44:30 -0400
parents 3a6e9da48c3b
children 6e2e867b4210
files tools/msys2-install.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/tools/msys2-install.py	Thu Aug 12 14:44:28 2021 -0400
+++ b/tools/msys2-install.py	Thu Aug 12 14:44:30 2021 -0400
@@ -222,6 +222,8 @@
     save_list_file (pkg_info_dir + "/files", filelist, "%FILES%")
     save_desc_file (pkg_info_dir + "/desc", pkginfo)
     shutil.copy2(tmpdir + "/.MTREE", pkg_info_dir + "/mtree")
+    if os.path.exists(tmpdir + "/.INSTALL") == True:
+      shutil.copy2(tmpdir + "/.INSTALL", pkg_info_dir + "/install")
 
   finally:
     if env.verbose: