diff options
author | 2017-05-29 02:02:59 +0200 | |
---|---|---|
committer | 2018-10-15 18:22:20 +0200 | |
commit | ba8482dff2c76f186b09d312470d2e83b4223de5 (patch) | |
tree | 2869b2bb5f265d414861adcd2b076b912c9c9363 /.gitignore | |
parent | f87f0254aa6cc37e0315bb523330fac3b49b1508 (diff) |
Overload CMAKE_INSTALL_PREFIX if custom defined
Change-Id: I327d6af1862b4732f91d78abe26c7ffd6d2fbe51
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions