User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
gnu_make [2019/10/12 12:18]
rpjday created
gnu_make [2019/10/12 12:34] (current)
Line 2: Line 2:
 This and that about GNU make. This and that about GNU make.
 +  * prerequisites are free to be satisfied in any order
 +  * ''​.DEFAULT_GOAL''​ special variable
gnu_make.1570882688.txt.gz ยท Last modified: 2019/10/12 12:18 by rpjday