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 /build-root/deb/debian | |
| 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 'build-root/deb/debian')
| -rwxr-xr-x | build-root/deb/debian/rules | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/build-root/deb/debian/rules b/build-root/deb/debian/rules index 3a1dd2905c9..39be1b57e04 100755 --- a/build-root/deb/debian/rules +++ b/build-root/deb/debian/rules @@ -32,8 +32,7 @@ override_dh_install: override_dh_shlibdeps: @dh_shlibdeps 2>&1 \ - | grep -v "probably a plugin" \ - | grep -v "similar warnings have been skipped" + | { grep -v -e "probably a plugin" -e "similar warnings have been skipped" || true; } override_dh_strip: dh_strip --dbg-package=vpp-dbg |