From: Pierre Muller <muller@sourceware.org>
Date: Tue, 6 Nov 2012 08:24:44 +0000 (+0000)
Subject: 	* contrib/ari/create-web-ari-in-src.sh: Avoid problem if script
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=01f2564af3a6b4c5c19e841406f3bd91d690d594;p=binutils-gdb.git

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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 101e97ad944..2192b173496 100644
--- 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 fe9155b005b..8a260335cf9 100644
--- 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\""