diff options
author | 2019-09-10 17:36:43 +0200 | |
---|---|---|
committer | 2019-09-10 17:39:12 +0200 | |
commit | b4828cad913e6218afc2647b80464aff3c7ed170 (patch) | |
tree | 1b16f2e923e6f5ae7db475bd8f3a84d0efb961e4 /.gitignore | |
parent | ec168c395458635826b0b3c5206cbbdd1f291628 (diff) |
Add option to make source files relative
It is intended to enhance reproducibility
of produced binaries as unmeaning prefixes
are removed.
Bug-AGL: SPEC-2801
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Change-Id: Idcebe383d938a85c594482abd3ef65015fdd4b22
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions