From 5711a8b054c639f25447eac46087c5262e3a72dc Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Thu, 12 May 2005 20:38:51 +0000
Subject: [PATCH] 	* observer.sh (texi) [DJGPP]: If the file name
 includes a colon, 	convert it to the /dev/x/ form.

---
 gdb/ChangeLog   | 5 +++++
 gdb/observer.sh | 7 +++++++
 2 files changed, 12 insertions(+)

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