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
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
   * ''​.DEFAULT_GOAL''​ special variable   * ''​.DEFAULT_GOAL''​ special variable
gnu_make.txt ยท Last modified: 2019/10/12 12:34 by rpjday