diff --git a/dev/optimize_images.sh b/dev/optimize_images.sh index 1899d0221e1..0d532d054ad 100755 --- a/dev/optimize_images.sh +++ b/dev/optimize_images.sh @@ -10,6 +10,7 @@ INPLACE='0' max_input_size=0 max_output_size=0 + usage() { cat <