diff options
| -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 |