diff options
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/contrib/ari/create-web-ari-in-src.sh | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 101e97a..2192b17 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 fe9155b..8a26033 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\"" |