make_notes
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
make_notes [2023/09/24 23:48] – raju | make_notes [2023/09/24 23:49] (current) – raju | ||
---|---|---|---|
Line 12: | Line 12: | ||
* Per https:// | * Per https:// | ||
+ | ==== invoke a make file ==== | ||
+ | < | ||
+ | make -f foo.mk | ||
+ | </ | ||
make_notes.1695599301.txt.gz · Last modified: 2023/09/24 23:48 by raju