From 01f2564af3a6b4c5c19e841406f3bd91d690d594 Mon Sep 17 00:00:00 2001 From: Pierre Muller Date: Tue, 6 Nov 2012 08:24:44 +0000 Subject: [PATCH] * contrib/ari/create-web-ari-in-src.sh: Avoid problem if script is not executable. --- gdb/ChangeLog | 5 +++++ gdb/contrib/ari/create-web-ari-in-src.sh | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) 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 + + * contrib/ari/create-web-ari-in-src.sh: Avoid problem if script + is not executable. + 2012-11-05 Joel Brobecker * 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\"" -- 2.30.2