Heh... Wow. So sorry. I don't know what went wrong. Fixed now. regards, dan carpenter On Sun, Aug 23, 2020 at 10:22:29PM -0700, Gwendal Grignou wrote: > Dan, > > I don't see the patch applied in https://repo.or.cz/smatch.git/tree. > Is it in a different git tree? > > Regards, > Gwendal > > On Wed, Jun 10, 2020 at 11:08 AM Dan Carpenter <dan.carpenter@xxxxxxxxxx> wrote: > > > > On Tue, Jun 09, 2020 at 08:08:50PM -0700, Gwendal Grignou wrote: > > > 'make install' installs the database .schema files and other assets at > > > $DESTDIR/$(SHAREDIR)/smatch/smatch_data, > > > /usr/share/smatch/smatch_data by default. > > > > > > This way the source code tree does not need to be present to run smatch, > > > and --data is not required as smatch is compiled to look for data assets > > > at the above location, in addition to the local directory. > > > > > > Signed-off-by: Gwendal Grignou <gwendal@xxxxxxxxxxxx> > > > > Thanks so much. Applied. > > > > regards, > > dan carpenter > >
