On Saturday, May 9, 2015, Ernie Luzar > > > How do I make the saved config options go away so the "make config" > command shows the original defaults? > make rmconfig make config Regards, Ben -- -- From: Benjamin Woods woodsb02 at gmail.com