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 | ||