diff options
author | Eli Zaretskii <eliz@gnu.org> | 2005-05-12 20:38:51 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2005-05-12 20:38:51 +0000 |
commit | 5711a8b054c639f25447eac46087c5262e3a72dc (patch) | |
tree | 888e868108ef1f62278221f3e5cccaba4b3eef19 /gdb | |
parent | a77053c21717e1cefafbaa83708768ed0fde03cf (diff) | |
download | ppe42-binutils-5711a8b054c639f25447eac46087c5262e3a72dc.tar.gz ppe42-binutils-5711a8b054c639f25447eac46087c5262e3a72dc.zip |
* observer.sh (texi) [DJGPP]: If the file name includes a colon,
convert it to the /dev/x/ form.
Diffstat (limited to 'gdb')
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rwxr-xr-x | gdb/observer.sh | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 3b722c4d6a..944bedc482 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2005-05-12 Eli Zaretskii <eliz@gnu.org> + + * observer.sh (texi) [DJGPP]: If the file name includes a colon, + convert it to the /dev/x/ form. + 2005-05-12 Mark Kettenis <kettenis@gnu.org> * solib.h (CLEAR_SOLIB, SOLIB_ADD) diff --git a/gdb/observer.sh b/gdb/observer.sh index fb92b63567..92ca1b5ed5 100755 --- a/gdb/observer.sh +++ b/gdb/observer.sh @@ -58,6 +58,13 @@ EOF ;; esac +# We are about to set IFS=:, so DOS-style file names with a drive +# letter and a colon will be in trouble. + +if test -n $DJGPP +then + texi=`echo $texi | sed -e 's,^\([a-zA-Z]\):/,/dev/\1/,'` +fi # generate a list of events that can be observed |