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)" \ |