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/contrib | |
| 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/contrib')
| -rw-r--r-- | gdb/contrib/ari/create-web-ari-in-src.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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\"" |