* observer.sh (texi) [DJGPP]: If the file name includes a colon,

[deliverable/binutils-gdb.git] / gdb / observer.sh

diff --git a/gdb/observer.sh b/gdb/observer.sh
index fb92b635673cbc5f8f21b2b006ede012528dfc72..92ca1b5ed5b19905e45f578623eb33a911a6a3cf 100755 (executable)
--- 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