GNU Make - что такое $ (скрыть) - PullRequest
       5

GNU Make - что такое $ (скрыть)

0 голосов
/ 24 февраля 2020

Я смотрю на существующие make-файлы и вижу $(hide), но на GNU Make docs , hide не появляется ни разу.

Что такое $(hide)

...