tree a9e9f4705613aa41b88d6e555f52ee9d1f6fd29e
parent 844b09331bfca9cd06a96775e39bee8225cb2220
author Davide Pesavento <davide.pesavento@lip6.fr> 1525998997 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1525999038 -0400

build: ignore OSError raised by subprocess.check_output()

For example, when git is not installed.

Change-Id: I2a44b9c647e2b2e0344e2c831217db1595a9db68