diff options
author | Xavier Simonart <xavier.simonart@intel.com> | 2020-09-14 09:25:05 +0200 |
---|---|---|
committer | Xavier Simonart <xavier.simonart@intel.com> | 2020-09-21 10:37:52 +0200 |
commit | 80dfeb5c734cc4d681f467e853a541a8a91fe1cf (patch) | |
tree | 881818122e62f24ed58a81ee41dd3d23bd04e981 /.gitignore | |
parent | 9a1e1e9336b39178362c6ccadd4a9716f865047f (diff) |
Add git version.
git version is now printed in prox.log file.
- git_version.c is always recompiled
- If source have been locally changed, the build is shown as dirty
- If git is not available on the build system, a message such as
'make: git: Command not found'
will be printed, but the build will succeed.
Change-Id: If551832c6079f5e3bd04cd4d8ac5f8204e6be8cd
Signed-off-by: Xavier Simonart <xavier.simonart@intel.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions