tree 1a172b10567e01e3db29a3eb68aa250b07a6adf6
parent 19773ff8357865b0ebd4af44a0c8c4a09f7d85f8
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1509004056 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1509004056 +0200

Document choice of script exit code