* contrib/ari/create-web-ari-in-src.sh: Avoid problem if script

	is not executable.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 101e97a..2192b17 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2012-11-06  Pierre Muller  <muller@sourceware.org>
+
+       * contrib/ari/create-web-ari-in-src.sh: Avoid problem if script
+       is not executable.
+
 2012-11-05  Joel Brobecker  <brobecker@adacore.com>
 
        * gnulib/update-gnulib.sh: New script.

diff --git a/gdb/contrib/ari/create-web-ari-in-src.sh b/gdb/contrib/ari/create-web-ari-in-src.sh
index fe9155b..8a26033 100644 (file)
--- a/gdb/contrib/ari/create-web-ari-in-src.sh
+++ b/gdb/contrib/ari/create-web-ari-in-src.sh
@@ -67,7 +67,7 @@ if [ -z "${webdir}" ] ; then
 fi
 
 # Launch update-web-ari.sh in same directory as current script.
-${scriptpath}/update-web-ari.sh ${srcdir} ${tempdir} ${webdir} gdb
+${SHELL} ${scriptpath}/update-web-ari.sh ${srcdir} ${tempdir} ${webdir} gdb
 
 if [ -f "${webdir}/index.html" ] ; then
   echo "ARI output can be viewed in file \"${webdir}/index.html\""