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 | aeb093c049383e58ee18693df6c4b7c2c2e42200 (patch) | |
tree | f6b122bce2681ee1b91491ca4abae075a2175aba /gdb/observer.sh | |
parent | cad9537f844cacbb73c1529249f77421b5e56c45 (diff) | |
download | gdb-aeb093c049383e58ee18693df6c4b7c2c2e42200.tar.gz |
* observer.sh (texi) [DJGPP]: If the file name includes a colon,
convert it to the /dev/x/ form.
Diffstat (limited to 'gdb/observer.sh')
-rwxr-xr-x | gdb/observer.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gdb/observer.sh b/gdb/observer.sh index fb92b635673..92ca1b5ed5b 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 |