changeset 4111:d53c492ab48d

pkg-install.py append to inst/PKG_ADD/DEL it it exists (Bug #47481) * tools/pkg-install.py (create_pkgadddel): append to inst/ PKG_ADD/DEL if exists
author John Donoghue
date Tue, 22 Mar 2016 08:19:53 -0400
parents c8d0dbf634ff
children 02c9f7e9792e
files tools/pkg-install.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/tools/pkg-install.py	Mon Mar 21 17:49:00 2016 -0400
+++ b/tools/pkg-install.py	Tue Mar 22 08:19:53 2016 -0400
@@ -93,7 +93,7 @@
   if env.verbose:
     print "Creating...", nm
 
-  instfid = open(env.m_dir + "/" + nm, "w")
+  instfid = open(env.m_dir + "/" + nm, "a")
   if os.path.exists(env.arch_dir) == True:
     archfid = open(env.arch_dir + "/" + nm, "w")
   else:
@@ -107,7 +107,7 @@
     for a in extract_pkg(f, '^[#%][#%]* *' + nm + ': *(.*)$'):
       instfid.write("%s\n" % str(a))
 
-  # search inst .m files for PKG_ commands
+  # search src .cc files for PKG_ commands
   if os.path.exists(packdir + "/src") == True:
     srcdir = packdir + "/src"
     files = list(srcdir + "/" + a for a in os.listdir(srcdir))