On Mon, 2019-08-26 at 10:51 -0700, Omar Sandoval wrote: > From: Omar Sandoval <osandov@fb.com> > > gen_SOURCES is assigned to libebl_a_SOURCES and never used again. Get > rid of it. Thanks for the cleanup. Applied to master.