Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
gnu_make [2019/10/12 12:29] – rpjday | gnu_make [2019/10/12 12:34] (current) – rpjday | ||
---|---|---|---|
Line 3: | Line 3: | ||
This and that about GNU make. | This and that about GNU make. | ||
+ | * prerequisites are free to be satisfied in any order | ||
* '' | * '' |