diff options
author | 2018-01-05 04:21:01 +0100 | |
---|---|---|
committer | 2018-01-05 04:24:38 +0100 | |
commit | 84f131b32ac510097c3aac321fb1ca67bafc8941 (patch) | |
tree | 68e0f369739a31ff043b68ea701ed486f18ebd9c /.gitreview | |
parent | 84f58189f269be6633e0c8897d5624d3dfaaa650 (diff) |
deploy.sh: Silence cleanup output
Cleanup sequence might print some warnings/errors that are misleading
for new users, so let's silence them.
While at it, remove unused `cleanup` function stub.
Change-Id: Ic4225f7d4b701cd15d96e1bfc5eecfe2c4291eb6
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions