GNU make の履歴(No.1)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• GNU make へ行く。
  • 1 (2019-08-20 (火) 13:13:57)
  • 2 (2019-08-20 (火) 13:14:21)

GNU make†

GNUのmakeコマンドは makefileを GNUmakefile, makefile, Makefile の順に参照する。
まさか GNUmakefile は非推奨だったなんて

参考：[[]Man page of MAKE:https://linuxjm.osdn.jp/html/GNU_make/man1/make.1.html]