diff options
| author | Mark Kettenis <kettenis@gnu.org> | 2005-05-15 22:05:35 +0000 |
|---|---|---|
| committer | Mark Kettenis <kettenis@gnu.org> | 2005-05-15 22:05:35 +0000 |
| commit | f3e25dcb4c631425553d804aad54d24e661ff2ec (patch) | |
| tree | 62966461d7c67466edc9e485ff361e31bee743ef /gdb/observer.sh | |
| parent | e9edcedc8ee626bc900801549ba97f5af4e58968 (diff) | |
* observer.sh: Quote $DJGPP.
Diffstat (limited to 'gdb/observer.sh')
| -rwxr-xr-x | gdb/observer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/observer.sh b/gdb/observer.sh index 92ca1b5ed5..4c235ea183 100755 --- a/gdb/observer.sh +++ b/gdb/observer.sh @@ -61,7 +61,7 @@ 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 +if test -n "$DJGPP" then texi=`echo $texi | sed -e 's,^\([a-zA-Z]\):/,/dev/\1/,'` fi |