tree 7e0d9d2a16969e8a4785e15dd07b7f5ca8b48267
parent 17a8b9700b06e885e5eba17215c7e2103e61b401
author David Brazdil <dbrazdil@google.com> 1637747054 +0000
committer David Brazdil <dbrazdil@google.com> 1637747148 +0000

Print version of Make

Print a warning with the version of Make used by the system to help
debug/reproduce Makefile issues.

Change-Id: Ia64e607d2b258044e3bfb2a9b443e59b123daad4