diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2017-09-26 01:16:54 +0200 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2017-10-13 22:39:27 +0200 |
| commit | bd0259e7bb5f045a1ba7958d79039848d062aad1 (patch) | |
| tree | b39c1d19f5b66c94721e21b116aac6daee29f049 /.gitignore | |
| parent | 3479e81a8bfa1ae15084100f2b3872ca8f1ed752 (diff) | |
patch.sh: Exit on patch apply failure
Patches that fail to apply are silently skipped. Since retrying is
not possible, deploy moves on, making the problem hard to observe.
Change-Id: I3fe01cef6b245de53767a660b9b4fdfae0d5d0ff
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions