3 回答

TA貢獻1824條經驗 獲得超6個贊
從GNU Make文檔中,
5.3.1 Choosing the Shell
------------------------
The program used as the shell is taken from the variable `SHELL'. If
this variable is not set in your makefile, the program `/bin/sh' is
used as the shell.
因此,將其放在SHELL := /bin/bashmakefile的頂部,您應該一切順利。
順便說一句:您也可以針對一個目標執行此操作,至少對于GNU Make而言。每個目標可以有自己的變量分配,如下所示:
all: a b
a:
@echo "a is $$0"
b: SHELL:=/bin/bash # HERE: this is setting the shell for b only
b:
@echo "b is $$0"
打?。?/p>
a is /bin/sh
b is /bin/bash
有關更多詳細信息,請參見文檔中的“特定于目標的變量值”。該行可以在Makefile中的任何地方進行,而不必緊接在目標文件之前。

TA貢獻1856條經驗 獲得超17個贊
您可以bash直接調用,使用-c標志:
bash -c "diff <(sort file1) <(sort file2) > $@"
當然,您可能無法重定向到變量$ @,但是當我嘗試執行此操作時,我收到-bash: $@: ambiguous redirect一條錯誤消息,因此您可能想在深入了解它之前先進行研究(盡管我使用bash 3.2.something,所以也許您的工作原理有所不同)。

TA貢獻1810條經驗 獲得超5個贊
無需顯式將SHELL變量設置為指向bash,就可以執行此操作。如果您有許多makefile,這將很有用,因為SHELL不會被后續的makefile繼承或從環境中獲取。您還需要確保任何編譯您的代碼的人都以這種方式配置他們的系統。
如果運行sudo dpkg-reconfigure dash并對提示回答“否”,則系統將不使用破折號作為默認外殼程序。然后它將指向bash(至少在Ubuntu中)。請注意,雖然使用破折號作為系統外殼會更有效。
- 3 回答
- 0 關注
- 1195 瀏覽
添加回答
舉報