tree 44077b05f7b482cbc66ddadd983e109a8717f03e
parent e81859e9fb0c842b015f298c3d7be0ae8b15f180
author Thomas Daede <tdaede@mozilla.com> 1536792289 -0700
committer Thomas Daede <tdaede@mozilla.com> 1537236280 +0000

Only build stats library if examples are enabled.

Change-Id: Iad4e8b88dbc669d008e6dfb98ac5926de065c44a