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

	convert it to the /dev/x/ form.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 3b722c4..944bedc 100644 (file)
--- 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 fb92b63..92ca1b5 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