> Date: Sun, 4 Oct 2020 18:56:06 +0100 (BST) > From: "Maciej W. Rozycki" <macro@linux-mips.org> > cc: gdb@sourceware.org > > It looks to me like gdb/Makefile should be a dependency of > gdb/init.c then (or stamp-init really). I think you are right.