[Pnet-developers] make_patch.sh

[Mario D. Santana]

The make_patch.sh script breaks on my OS X machine.  Sed says there's 
no such file as "-" and I'm getting tired of typing my comments again 
by hand.  (Yes, I'm easily tired. ;-)

Find below a trivial patch to fix it.  Since sed processes stdin if no 
file is mentioned on the command line, this shouldn't affect other 
systems.  This also applies to the make_patch.sh everywhere, so I 
thought I'd just bug the list with it.

Cheers.

mds

-------------

Index: make_patch.sh
===================================================================
RCS file: /cvsroot/dotgnu-pnet/pnetC/make_patch.sh,v
retrieving revision 1.1
diff -b -u -r1.1 make_patch.sh
cvs server: conflicting specifications of output style
--- make_patch.sh       14 Aug 2003 07:48:19 -0000      1.1
+++ make_patch.sh       15 Aug 2003 18:13:58 -0000
@@ -201,7 +201,7 @@
 PWDOUT=`pwd`
 echo "# Repository: `basename ${PWDOUT}`" >>"${PATCHFILE}"
 echo "# Comments:" >>"${PATCHFILE}"
-grep -v '^MP:' ${COMMENTS} | sed -e '1,$s/^/# /g' - >>"${PATCHFILE}"
+grep -v '^MP:' ${COMMENTS} | sed -e '1,$s/^/# /g' >>"${PATCHFILE}"
 echo '#### End of Preamble ####' >>"${PATCHFILE}"
 echo '' >>"${PATCHFILE}"
 echo '#### Patch data follows ####' >>"${PATCHFILE}"