有条件地做 distclean

Question

作为具有set -e 的bash 脚本的一部分，我执行make distclean，如果我在调用脚本之前运行了distclean，显然会失败并出现以下错误：

make: *** No rule to make target 'distclean'. Stop

有没有办法进行 distclean 并且不会失败如果没有要清理的东西？

Answer 1

如果您对正在打印的错误消息感到满意，并且只想忽略失败并继续前进，一个常见的习惯用法是附加 || :。

这里的一般语法是cmd1 || cmd2。如果cmd1 失败，则运行cmd2。 : 是始终成功的命令的（异常）名称，因此|| : 具有忽略第一个命令的退出代码的效果。

make distclean || :

如果您不想看到错误消息，可以先检查Makefile 是否存在：

if [[ -e Makefile ]]; then make distclean; fi

Answer 2

你可以做一个

make distclean || echo "(Error from make ignored)"

明确正在发生的事情。