Index: tools/resources/optimize-png-files.sh |
diff --git a/tools/resources/optimize-png-files.sh b/tools/resources/optimize-png-files.sh |
index 3154826ca39bb6f5a30f1b7900f46f3c241a2e62..196c5e4fe2e2382f988ae82300414958a47027af 100755 |
--- a/tools/resources/optimize-png-files.sh |
+++ b/tools/resources/optimize-png-files.sh |
@@ -391,7 +391,7 @@ done |
# Make sure we have all necessary commands installed. |
install_if_not_installed pngcrush pngcrush |
-if [ $OPTIMIZE_LEVEL == 2 ]; then |
+if [ $OPTIMIZE_LEVEL -ge 1 ]; then |
install_if_not_installed optipng optipng |
if $using_cygwin ; then |