diff --git a/scripts/build b/scripts/build index 78b7d5b1ca..c90ba5ad33 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 || : - $STRIP `find $INSTALL -name "*.so.[0-9]*"` 2>/dev/null || : + $STRIP `find $INSTALL -name "*.so" 2>/dev/null` 2>/dev/null || : + $STRIP `find $INSTALL -name "*.so.[0-9]*" 2>/dev/null` 2>/dev/null || : fi fi fi