clarification
This commit is contained in:
parent
de0b3d835b
commit
e0cdf36353
|
@ -109,11 +109,11 @@ Debian propose des paquets linux-source-* contenant les sources vanilla patchée
|
||||||
|
|
||||||
## Choix des options
|
## Choix des options
|
||||||
|
|
||||||
Pour le choix des options, on utilise `make OPTION` où *OPTION* peut valoir :
|
Pour le choix des options, plusieurs alternatives :
|
||||||
|
|
||||||
* menuconfig (installer *libncurses5-dev*)
|
* `make menuconfig` (nécessite le paquet *libncurses5-dev*)
|
||||||
* xconfig (installer *libqt4-dev*)
|
* `make xconfig` (nécessite le paquet *libqt4-dev*)
|
||||||
* config
|
* `make config`
|
||||||
|
|
||||||
Pour récupérer les options d'un autre noyau (même plus ancien) :
|
Pour récupérer les options d'un autre noyau (même plus ancien) :
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue