On Wed, Jan 22, 2020 at 2:08 PM Steven Rostedt <rostedt@xxxxxxxxxxx> wrote: > > On Wed, 22 Jan 2020 13:49:40 -0500 > Marcelo Diop-Gonzalez <marcgonzalez@xxxxxxxxxx> wrote: > > > > > then I'm OK with your approach, but we need to make sure we update > > > the .gitignore and clean make target to remove it. > > > > Ah good point! I'll send out another version if this way's the way to go. > > Yes, please do. Thanks! Ah actually, should these be covered by the 'cscope* ' lines in .gitignore and the clean make target? -Marcelo > > -- Steve