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