Suppress output of Makefile.conf when printing source versions
authorXiretza <xiretza@xiretza.xyz>
Sat, 11 Apr 2020 09:42:30 +0000 (11:42 +0200)
committerXiretza <xiretza@xiretza.xyz>
Sat, 11 Apr 2020 11:23:08 +0000 (13:23 +0200)
commit333981acfdf0d7ab0db35f7d2b41e51cf66d6b71
tree0892b046a0c7bd980bc01a20565461c3b4fa3ff5
parent93ef516d919b40ace2099bc7586bfda8648f0757
Suppress output of Makefile.conf when printing source versions

The make targets echo-yosys-ver, echo-git-ver and echo-abc-rev can be
used to programmatically extract contents of make variables for external
scripts. Unfortunately, when a Makefile.conf exists, its contents would
also be echoed, making the output almost unusable. This patch
selectively disables this functionality for these special targets.
Makefile