changeset 4602:a487b12dc08f

* tools/makeinst-script.sh.in: include HG-ID in installed files
author John Donoghue
date Fri, 09 Feb 2018 07:46:04 -0500
parents dc3eb553f5e9
children 7d0053d163db
files tools/makeinst-script.sh.in
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/tools/makeinst-script.sh.in	Mon Jan 29 11:57:20 2018 -0500
+++ b/tools/makeinst-script.sh.in	Fri Feb 09 07:46:04 2018 -0500
@@ -231,6 +231,8 @@
 
   File "$OCTAVE_SOURCE/fc_update.bat"
 
+  File "$OCTAVE_SOURCE/HG-ID"
+
   ; distro files
 EOF
   if [ -f $OCTAVE_SOURCE/cmdshell.bat ]; then