💾 Archived View for freeshell.de › tldr › make.gmi captured on 2022-06-11 at 22:09:59. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-28)
-=-=-=-=-=-=-
Task runner for targets described in Makefile.
Mostly used to control the compilation of an executable from source code.
make
make {target}
make -j{4} {target}
make --file {file}
make --directory {directory}
make --always-make {target}
make --environment-overrides {target}
Copyright © 2014—present the tldr-pages team and contributors.
This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).