diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 85ef6bf4..c6ba67ea 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -414,7 +414,8 @@ call_debbindiff_on_any_file() { get_filesize() { local BYTESIZE="$(du -h -b $1 | cut -f1)" - if [ $BYTESIZE -gt 1048576 ] ; then + # numbers below 16384K are understood and more meaningful than 16M... + if [ $BYTESIZE -gt 16777216 ] ; then SIZE="$(echo $BYTESIZE/1048576|bc)M" elif [ $BYTESIZE -gt 1024 ] ; then SIZE="$(echo $BYTESIZE/1024|bc)K" |