User Tools

Site Tools



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

Link to this comparison view

Next revision
Previous revision
Last revision Both sides next revision
gnu_make [2019/10/12 12:18]
rpjday created
gnu_make [2019/10/12 12:29]
Line 2: Line 2:
 This and that about GNU make. This and that about GNU make.
 +  * ''​.DEFAULT_GOAL''​ special variable
gnu_make.txt ยท Last modified: 2019/10/12 12:34 by rpjday