set -e -o pipefail não funciona devido a incompatibilidade de make

Question

Eu estou tentando executar um script bash / makefile com a linha

set -e -o pipefail

O makefile em si tem a linha concisa de que isso não parece funcionar com o make 3.81, que é a versão que a minha instalação do Ubuntu me dá.

(Executar o script me dá: set: Illegal option -o pipefail )

Existe alguma maneira de contornar isso?

    

Answer 1

Por padrão, make usa /bin/sh para executar o código shell, portanto você não pode executar comandos específicos do bash.

Adicione a linha

SHELL=/bin/bash

para fazer make usar o bash. Veja o GNU faz a documentação para mais sobre isso.