tree 7f99bc8adb2f6b3bf7f75c1fc7dcd9ef1c5eaf5d
parent c221e36f16e4c32e9c49daa0b49cb707bdfd6a4b
author Davide Pesavento <davidepesa@gmail.com> 1548390023 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1548401893 -0500

tools: normalize exit codes

Change-Id: I6811d1fbfef817e74b5920ccb0026447c3238051