diff options
author | 2018-10-22 17:37:27 +0200 | |
---|---|---|
committer | 2018-10-22 17:37:27 +0200 | |
commit | 3e43a348cf7e3d9bfb9911e23ab4672a6d365cac (patch) | |
tree | 8f74c4a3a2ecd3d8ebe8e87f3270ae90716b37dd /content/tocs/devguides/toc_dev_en.yml | |
parent | ac7575d2dc5052f492aa898812f6e5d7d2dc18f4 (diff) |
setupdocs.sh: improve robustness
- return errors to stderr
- check references strongly with GITREF instead of git/nogit
Change-Id: Iee0dff19c8d24c079f9b72f6009b8efa132b8e40
Signed-off-by: Clément Bénier <clement.benier@iot.bzh>
Diffstat (limited to 'content/tocs/devguides/toc_dev_en.yml')
0 files changed, 0 insertions, 0 deletions