diff options
Diffstat (limited to 'gdb/cli')
| -rw-r--r-- | gdb/cli/cli-cmds.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gdb/cli/cli-cmds.c b/gdb/cli/cli-cmds.c index 15b6b79..9c118e1 100644 --- a/gdb/cli/cli-cmds.c +++ b/gdb/cli/cli-cmds.c @@ -539,9 +539,7 @@ source_script_from_stream (FILE *stream, const char *file) TRY_CATCH (e, RETURN_MASK_ERROR) { - /* The python support reopens the file using python functions, - so there's no point in passing STREAM here. */ - source_python_script (file); + source_python_script (stream, file); } if (e.reason < 0) { |