diff options
author | Pierre Muller <muller@sourceware.org> | 2012-11-06 08:24:44 +0000 |
---|---|---|
committer | Pierre Muller <muller@sourceware.org> | 2012-11-06 08:24:44 +0000 |
commit | 01f2564af3a6b4c5c19e841406f3bd91d690d594 (patch) | |
tree | 037d7e45ef285567f034a202f82a5d92dcf7d885 /gdb | |
parent | 8c746b9642c607a2fd41a8670a2e375be117b130 (diff) | |
download | gdb-01f2564af3a6b4c5c19e841406f3bd91d690d594.zip gdb-01f2564af3a6b4c5c19e841406f3bd91d690d594.tar.gz gdb-01f2564af3a6b4c5c19e841406f3bd91d690d594.tar.bz2 |
* contrib/ari/create-web-ari-in-src.sh: Avoid problem if script
is not executable.
Diffstat (limited to 'gdb')
-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\"" |