devel:compillinux
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
devel:compillinux [2015/02/06 16:02] – ziane | devel:compillinux [2016/03/30 15:23] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 41: | Line 41: | ||
* '' | * '' | ||
* la génération des makefiles se fait via la commande : | * la génération des makefiles se fait via la commande : | ||
- | * '' | + | * '' |
- | * '' | + | * '' |
* où '' | * où '' | ||
* '' | * '' |
devel/compillinux.txt · Last modified: 2019/03/23 07:14 by boman