diff options
Diffstat (limited to 'scripts/lib/devtool/ide_plugins/__init__.py')
-rw-r--r-- | scripts/lib/devtool/ide_plugins/__init__.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/scripts/lib/devtool/ide_plugins/__init__.py b/scripts/lib/devtool/ide_plugins/__init__.py index 3371b24264..02707bfc37 100644 --- a/scripts/lib/devtool/ide_plugins/__init__.py +++ b/scripts/lib/devtool/ide_plugins/__init__.py | |||
@@ -81,15 +81,15 @@ class GdbCrossConfig: | |||
81 | if self.gdbserver_multi: | 81 | if self.gdbserver_multi: |
82 | temp_dir = "TEMP_DIR=/tmp/gdbserver_%s; " % self.id_pretty | 82 | temp_dir = "TEMP_DIR=/tmp/gdbserver_%s; " % self.id_pretty |
83 | gdbserver_cmd_start = temp_dir | 83 | gdbserver_cmd_start = temp_dir |
84 | gdbserver_cmd_start += "test -f \$TEMP_DIR/pid && exit 0; " | 84 | gdbserver_cmd_start += "test -f \\$TEMP_DIR/pid && exit 0; " |
85 | gdbserver_cmd_start += "mkdir -p \$TEMP_DIR; " | 85 | gdbserver_cmd_start += "mkdir -p \\$TEMP_DIR; " |
86 | gdbserver_cmd_start += "%s --multi :%s > \$TEMP_DIR/log 2>&1 & " % ( | 86 | gdbserver_cmd_start += "%s --multi :%s > \\$TEMP_DIR/log 2>&1 & " % ( |
87 | self.gdb_cross.gdbserver_path, self.gdbserver_port) | 87 | self.gdb_cross.gdbserver_path, self.gdbserver_port) |
88 | gdbserver_cmd_start += "echo \$! > \$TEMP_DIR/pid;" | 88 | gdbserver_cmd_start += "echo \\$! > \\$TEMP_DIR/pid;" |
89 | 89 | ||
90 | gdbserver_cmd_stop = temp_dir | 90 | gdbserver_cmd_stop = temp_dir |
91 | gdbserver_cmd_stop += "test -f \$TEMP_DIR/pid && kill \$(cat \$TEMP_DIR/pid); " | 91 | gdbserver_cmd_stop += "test -f \\$TEMP_DIR/pid && kill \\$(cat \\$TEMP_DIR/pid); " |
92 | gdbserver_cmd_stop += "rm -rf \$TEMP_DIR; " | 92 | gdbserver_cmd_stop += "rm -rf \\$TEMP_DIR; " |
93 | 93 | ||
94 | gdbserver_cmd_l = [] | 94 | gdbserver_cmd_l = [] |
95 | gdbserver_cmd_l.append('if [ "$1" = "stop" ]; then') | 95 | gdbserver_cmd_l.append('if [ "$1" = "stop" ]; then') |