エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Makefileには使用するshellを定義すると良さそう - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Makefileには使用するshellを定義すると良さそう - Qiita
GNU Makeのお話です。 Makeを使用したことがある方を想定しているので、GNU Makeとは何かは書きません。... GNU Makeのお話です。 Makeを使用したことがある方を想定しているので、GNU Makeとは何かは書きません。 Makefileに使用するshellが定義できるの知らなかったよ 上記のように定義できます。bashを指定しました。 /bin/shを使う必要があるかという話 GNU Makeはデフォルトでは/bin/shが使用されます。 By default, /bin/sh is used for the shell では、/bin/sh が問題がある場合はどのようなときでしょうか。 私の経験だと、/bin/sh が使用されたために、zshで成功してしていたsource ./conf.txtがエラーになりました。 ですので、どこの環境でも大体利用できる/bin/bashを指定しておくのが良いのではないかと。 参考 とあるエンジニアの備忘log: Make のポータビリティについて考え