diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/usage_compressed | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/usage_compressed b/scripts/usage_compressed index fa12e4063..ce672db3b 100644 --- a/scripts/usage_compressed +++ b/scripts/usage_compressed | |||
| @@ -3,6 +3,7 @@ | |||
| 3 | loc="$1" | 3 | loc="$1" |
| 4 | 4 | ||
| 5 | test "$loc" || loc=. | 5 | test "$loc" || loc=. |
| 6 | test -x "$loc/usage" || exit 1 | ||
| 6 | 7 | ||
| 7 | echo 'static const char packed_usage[] = ' | 8 | echo 'static const char packed_usage[] = ' |
| 8 | "$loc"/usage | bzip2 -9 | od -v -t x1 \ | 9 | "$loc"/usage | bzip2 -9 | od -v -t x1 \ |