diff options
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 |
