X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=tools%2Fpng_recompress.sh;h=f515536a33cbaca54da7ed38b72e2f045f93c853;hb=50b09a4d69d87a94cd8ac607946d335a2452698f;hp=b38cb7d082e9c06eb8b59e24761f89a74e8ddd6b;hpb=b55d41554b9abc9b17788cd9db585fba03b35e19;p=supertux.git

diff --git a/tools/png_recompress.sh b/tools/png_recompress.sh
index b38cb7d08..f515536a3 100755
--- a/tools/png_recompress.sh
+++ b/tools/png_recompress.sh
@@ -66,7 +66,7 @@ for image in "$@"; do
 	echo -e "\e[1m$image\e[0m : $(du -b $image | awk '{print $1}')"
 	newsize="$(pngcrush -reduce -brute -d "$TMPPATH" "$image" | grep -E "filesize reduction")"
 	echo "$newsize"
-	if [[ $newsize =~ ".+reduction.+" ]]; then
+	if grep -q reduction <<< "$newsize"; then
 		cp -v "${TMPPATH}/$fname" "$dname/$fname"
 	else
 		rm -v "${TMPPATH}/$fname"
@@ -83,7 +83,7 @@ for image in "$@"; do
 	echo -e "\e[1m$image\e[0m : $(du -b $image | awk '{print $1}')"
 	newsize="$(optipng -i 0 -o 7 -dir "$TMPPATH" "$image" | grep -E '^Output file size')"
 	echo "$newsize"
-	if [[ $newsize =~ ".+decrease.+" ]]; then
+	if grep -q decrease <<< "$newsize"; then
 		cp -v "${TMPPATH}/$fname" "$dname/$fname"
 	else
 		rm -v "${TMPPATH}/$fname"