* observer.sh (texi) [DJGPP]: If the file name includes a colon,
authorEli Zaretskii <eliz@gnu.org>
Thu, 12 May 2005 20:38:51 +0000 (20:38 +0000)
committerEli Zaretskii <eliz@gnu.org>
Thu, 12 May 2005 20:38:51 +0000 (20:38 +0000)
convert it to the /dev/x/ form.

gdb/ChangeLog
gdb/observer.sh

index 3b722c4d6a04f7f58b07d85470ac46c03053bff7..944bedc482e9f76c8176f4a5f8ff539d5aa1b682 100644 (file)
@@ -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)
index fb92b635673cbc5f8f21b2b006ede012528dfc72..92ca1b5ed5b19905e45f578623eb33a911a6a3cf 100755 (executable)
@@ -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