| Index: gdb/data-directory/Makefile.in
|
| diff --git a/gdb/data-directory/Makefile.in b/gdb/data-directory/Makefile.in
|
| index 4296e5ada7efba0cec2ac91c38b1c79c317222c3..87c6dd4704762035e7090587cc83fab025e90d5a 100644
|
| --- a/gdb/data-directory/Makefile.in
|
| +++ b/gdb/data-directory/Makefile.in
|
| @@ -58,7 +58,8 @@ PYTHON_FILES = \
|
| gdb/prompt.py \
|
| gdb/command/__init__.py \
|
| gdb/command/pretty_printers.py \
|
| - gdb/command/prompt.py
|
| + gdb/command/prompt.py \
|
| + gdb/command/explore.py
|
|
|
| FLAGS_TO_PASS = \
|
| "prefix=$(prefix)" \
|
|
|