MakeCommand

make コマンドは、そのまま実行すると、現在のディレクトリにあるMakefileの中の、デフォルトのターゲットを実行するよ〜。

----

プロジェクトのルートにあるMakefileを、ソースツリーの深い場所からでも簡単に実行できるショートカットを作ってみたの〜。
shの関数を使って、これで楽々実行できるんだよ〜。

{{{

mk() {
  make -C "$(git rev-parse --show-toplevel)" "$@"
}

}}}

GitCommandでプロジェクトのルートを探してるので、Gitリポジトリの中でないと正しく動かないよ〜。
プロジェクトのルートにはMakefileが必要だよ。
そういうエラー処理は考えてないから、注意してね〜。

CategoryProgramming