Ah si, ça marche, c'est une certitude. Par contre je ne sais pas si son problème vient de là.
Le fonctionnement de make est un peu traître, car les variables ressemblent à des variables d'environnement. On aurait donc envie de faire:
> CC=gcc-3.3 HOSTCC=gcc-3.3 make bzImage
Et ça, effectivement, ça ne marche pas, car il s'agit de variables qui sont définies dans le makefile. Par contre,
> make CC=gcc-3.3 HOSTCC=gcc-3.3 bzImage
indique à make la valeur que l'on veut donner à ces variables.
[^] # Re: GCC ?
Posté par Yusei (Mastodon) . En réponse au journal Pb sources noyau Debian. Évalué à 6.
Le fonctionnement de make est un peu traître, car les variables ressemblent à des variables d'environnement. On aurait donc envie de faire:
> CC=gcc-3.3 HOSTCC=gcc-3.3 make bzImage
Et ça, effectivement, ça ne marche pas, car il s'agit de variables qui sont définies dans le makefile. Par contre,
> make CC=gcc-3.3 HOSTCC=gcc-3.3 bzImage
indique à make la valeur que l'on veut donner à ces variables.