From: whitequark <whitequark@whitequark.org>
Date: Thu, 16 Apr 2020 13:28:34 +0000 (+0000)
Subject: Merge pull request #1900 from Xiretza/suppress-makefile-echo
X-Git-Tag: working-ls180~634
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ee028dcf16339408f8c9423efdcc4497f705dc2;p=yosys.git

Merge pull request #1900 from Xiretza/suppress-makefile-echo

Suppress output of Makefile.conf when printing source versions
---

2ee028dcf16339408f8c9423efdcc4497f705dc2