diff options
author | Gabriel Ganne <gabriel.ganne@enea.com> | 2017-11-06 14:09:06 +0100 |
---|---|---|
committer | Gabriel Ganne <gabriel.ganne@enea.com> | 2017-11-06 14:25:11 +0100 |
commit | addb55b9e0533c5f720b1cc1bdeeb4bbd0e6bf2a (patch) | |
tree | ad1ffcc1383a72273e647d2e2bf609394b928784 /extras/vagrant/run.sh | |
parent | e695cb4dbdb6f9424ac5a567799e67f791fad328 (diff) |
fix debian packages generation (invalid warning silencing)
During dh_shlibdeps, we silence some plugin-related warnings using
"grep -v". grep is the last command of the line, and returns 1 on match.
Therefore, the whole make step fails.
This patch merges the two grep commands, and ignores the grep return
value.
Change-Id: I1237162ab3c9937dbc340e5a2fce7ec779a19f39
Signed-off-by: Gabriel Ganne <gabriel.ganne@enea.com>
Diffstat (limited to 'extras/vagrant/run.sh')
0 files changed, 0 insertions, 0 deletions