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 >
