| 1 |
On Fri, Jan 25, 2013 at 12:59 PM, Rich Freeman <rich0@g.o> wrote: |
| 2 |
> I could see making that the default if there is no .config file |
| 3 |
> present and a new one is being created, and perhaps upstream would |
| 4 |
> support that since udev is popular. However, make oldconfig is |
| 5 |
> usually used when you have a .config file and you just want to update |
| 6 |
> it. In that case I don't think we should be changing settings - what |
| 7 |
> if a user doesn't want this set? They'd have to remember to manually |
| 8 |
> unset it every single time they compile a new kernel, as we'd be |
| 9 |
> "helpfully" changing it back. |
| 10 |
|
| 11 |
Ah yeah, I mistakenly assumed that DEVTMPFS was a relatively new option. |
| 12 |
|
| 13 |
Cheers, |
| 14 |
|
| 15 |
Dirkjan |
Archives