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

is not executable.
This commit is contained in:
Pierre Muller 2012-11-06 08:24:44 +00:00
parent 8c746b9642
commit 01f2564af3
2 changed files with 6 additions and 1 deletions

View File

@ -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.

View File

@ -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\""