diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-11-30 11:53:33 -0800 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2018-11-30 11:53:33 -0800 |
| commit | cf70dc4f1ccdba800878542f8032b02984afaadb (patch) | |
| tree | 63cb9c9d775edd7f29e248dd81d40e4bf5be2632 /tools/build_board_info.py | |
| parent | 56345ff9970931e06a0e912aa006d6dae75bc2b4 (diff) | |
Fix BLE build
Diffstat (limited to 'tools/build_board_info.py')
| -rw-r--r-- | tools/build_board_info.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/build_board_info.py b/tools/build_board_info.py index ced672533..2efc78c14 100644 --- a/tools/build_board_info.py +++ b/tools/build_board_info.py @@ -241,6 +241,7 @@ def generate_download_info(): if __name__ == "__main__": if "TRAVIS_TAG" in os.environ: + print("tag", os.environ["TRAVIS_TAG"]) generate_download_info() else: print("skipping website update because this isn't a tag") |