c719ded2b9
Use a option name that doesn't change for every new 3.x version. It's easier to maintain and consistent with barebox. Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk> |
||
---|---|---|
.. | ||
Config.ext.in | ||
Config.in | ||
linux-ext-rtai.mk | ||
linux-ext-xenomai.mk | ||
linux.mk |