Retourner au contenu associé (journal : Jouer Concrètement à Space Nerds)
Posté par gUI (Mastodon) le 06 octobre 2020 à 08:22. En réponse au journal Jouer Concrètement à Space Nerds. Évalué à 4. Dernière modification le 06 octobre 2020 à 08:22.
Au passage :
run make -j 16
run make -j `nproc`
Ça permet d'être plus générique
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# nproc
Posté par gUI (Mastodon) . En réponse au journal Jouer Concrètement à Space Nerds. Évalué à 4. Dernière modification le 06 octobre 2020 à 08:22.
Au passage :
run make -j `nproc`
Ça permet d'être plus générique
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.