Como usar variáveis bash dentro make

Question

Eu achei que make interpreta o conjunto de comandos da regra literalmente, passando-os para a sub-shell. Mas isso não parece funcionar neste caso:

default: loop
        echo $$RANDOM 

Isso imprime echo $RANDOM no meu shell, mas na verdade não imprime o número.

    

Answer 1

GNU make: Escolher o shell diz que o shell padrão é /bin/sh .

$RANDOM é um recurso básico, portanto, você pode informar explicitamente make para usar bash colocando

SHELL := '/bin/bash'

na parte superior do seu Makefile .

( echo $RANDOM é apenas make fazendo eco ao comando que vai executar.)