[SeaBIOS] 'make oldconfig' broken...

2013-12-06 Thread David Woodhouse
Why does it keep forgetting my config and reverting to defaults, every time I touch src/Kconfig? [dwmw2@shinybook seabios]$ make oldconfig scripts/kconfig/conf --oldconfig /home/dwmw2/git/seabios/src/Kconfig # # configuration written to /home/dwmw2/git/seabios/.config # [dwmw2@shinybook

Re: [SeaBIOS] 'make oldconfig' broken...

2013-12-06 Thread Kevin O'Connor
On Fri, Dec 06, 2013 at 02:36:08PM +, David Woodhouse wrote: Why does it keep forgetting my config and reverting to defaults, every time I touch src/Kconfig? I noticed that the other day too. I'm not sure what's going on - it may have been the result of the recent Kconfig synch with the