Messages in this thread | | | Date | Sun, 28 Jul 2019 12:48:45 -0500 | From | Josh Poimboeuf <> | Subject | Re: [PATCH v3 09/13] objtool: Prepare to merge recordmcount |
| |
On Wed, Jul 24, 2019 at 02:05:03PM -0700, Matt Helsley wrote: > Move recordmcount into the objtool directory. We keep this step separate > so changes which turn recordmcount into a subcommand of objtool don't > get obscured. > > Signed-off-by: Matt Helsley <mhelsley@vmware.com> > --- > scripts/.gitignore | 1 - > scripts/Makefile | 1 - > scripts/Makefile.build | 11 ++++++----- > tools/objtool/.gitignore | 1 + > tools/objtool/Build | 2 ++ > tools/objtool/Makefile | 13 ++++++++++++- > {scripts => tools/objtool}/recordmcount.c | 0 > {scripts => tools/objtool}/recordmcount.h | 0 > {scripts => tools/objtool}/recordmcount.pl | 0 > 9 files changed, 21 insertions(+), 8 deletions(-) > rename {scripts => tools/objtool}/recordmcount.c (100%) > rename {scripts => tools/objtool}/recordmcount.h (100%) > rename {scripts => tools/objtool}/recordmcount.pl (100%)
According to "git grep recordmcount" there are a few documentation files which reference recordmcount and recordmount.pl in their old locations.
And they'll probably need updating again for the next patch as well.
-- Josh
| |