User Tools

Site Tools


gnu_make

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next 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.
  
-  * ''​.DEFAULTGOAL''​ special variable+  ​* prerequisites are free to be satisfied in any order¬†
 +  ​* ''​.DEFAULT_GOAL''​ special variable
gnu_make.1570883374.txt.gz · Last modified: 2019/10/12 12:29 by rpjday