diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 1433cf901c..6ebc9bedb6 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2020-10-30 Tom Tromey + + * Makefile.in (stamp-init): Depend on config.status. + 2020-10-30 Tankut Baris Aktemur * infrun.c (fetch_inferior_event): Temporarily disable pagination. diff --git a/gdb/Makefile.in b/gdb/Makefile.in index 8a160896e2..b3be21bb5a 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -1833,7 +1833,7 @@ INIT_FILES = \ $(COMMON_OBS)))) init.c: stamp-init; @true -stamp-init: $(INIT_FILES) +stamp-init: $(INIT_FILES) config.status @$(ECHO_INIT_C) echo "Making init.c" @rm -f init.c-tmp init.l-tmp @touch init.c-tmp