User Tools

Site Tools


gnu_make

Differences

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)
rpjday
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