On Fri, Oct 16, 2020 at 1:56 PM Thomas Monjalon <[email protected]> wrote: > > 16/10/2020 12:27, David Marchand: > > Updating export files (supposed to disappear at some point, but still > > there) might be missed when removing symbols in the API / map files. > > Add a check for this case. > > > > Signed-off-by: David Marchand <[email protected]> > Acked-by: Thomas Monjalon <[email protected]>
Series applied. -- David Marchand
