diff options
| author | Andrei Vagin <avagin@gmail.com> | 2020-06-11 10:41:01 -0700 |
|---|---|---|
| committer | Andrei Vagin <avagin@gmail.com> | 2020-06-11 11:26:22 -0700 |
| commit | c45420a3f53a47cd01d78efe8c76bb2bdebbf4d4 (patch) | |
| tree | 48509f57f5ad9ffba8959777fd0886b73d20504c /g3doc/user_guide | |
| parent | 0c7a5bc69c19de59c426045d10a56613f992f0dd (diff) | |
travis: set the pipefail option
The travis job has to fail if make smoke-test fails.
Reported-by: Bin Lu <bin.lu@arm.com>
Signed-off-by: Andrei Vagin <avagin@gmail.com>
Diffstat (limited to 'g3doc/user_guide')
0 files changed, 0 insertions, 0 deletions