Вы также можете использовать это:
echo ${HOME}
и это также
echo $${HOME}
Потому что, make преобразует все переменные окружения в переменные make.Обратите внимание, что значение вашего $ HOME исходит из среды, экспортированной в оболочку, из которой вы запускаете make
из.