diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/checksize.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/scripts/checksize.sh b/Tools/scripts/checksize.sh index 38af931d564d..43dd7a6cfb87 100755 --- a/Tools/scripts/checksize.sh +++ b/Tools/scripts/checksize.sh @@ -36,6 +36,10 @@ # - support for multiple architectures is inefficient # - output is messy # - on my system, the first 20 kB of each distfile are fetched +# (this can be suppressed by adding FETCH_BEFORE_ARGS=-s to the make options, +# in which case the word "Unknown" appears by itself on a line +# where otherwise there would be a "size unknown" error, and "size +# mismatch" errors are not detected) # - needs manual setup of /mnt/ # # placed in the public domain by Trevor Johnson |