# HG changeset patch
# User John Donoghue
# Date 1458649193 14400
# Node ID d53c492ab48dbb2a82863d3136a97f97ef31f050
# Parent  c8d0dbf634ff7aaf2a65664212d1a74830c22778
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

diff -r c8d0dbf634ff -r d53c492ab48d tools/pkg-install.py
--- 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))