Ciro Santilli c375d58e44 build: only set Linux kernel cli config if options changed ...

Otherwise, the Linux kernel gets rebuilt every time, which adds a few
seconds to every rebuild.

2018-06-10 09:29:23 +01:00

6.6 KiB

Executable File

Raw Blame History

View Raw