changeset 4114:02c9f7e9792e

merge away extra head on default
author John W. Eaton <jwe@octave.org>
date Wed, 23 Mar 2016 08:50:22 -0400
parents 39bdd415ccb1 (current diff) d53c492ab48d (diff)
children 9f68d5062bff
files
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/tools/pkg-install.py	Wed Mar 23 08:48:23 2016 -0400
+++ b/tools/pkg-install.py	Wed Mar 23 08:50:22 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))