diff --git a/scripts/build b/scripts/build index a78679b0f4..78b7d5b1ca 100755 --- a/scripts/build +++ b/scripts/build @@ -340,8 +340,8 @@ if [ ! -f $STAMP ]; then find $INSTALL -type d -exec rmdir -p "{}" ";" 2>/dev/null || true if [ ! "$DEBUG" = yes ]; then - $STRIP `find $INSTALL -name "*.so"` 2>/dev/null || echo "Information: no *.so libs found" - $STRIP `find $INSTALL -name "*.so.[0-9]*"` 2>/dev/null || echo "Information: no *.so.[0-9]* libs found" + $STRIP `find $INSTALL -name "*.so"` 2>/dev/null || : + $STRIP `find $INSTALL -name "*.so.[0-9]*"` 2>/dev/null || : fi fi fi