tree 5d666431a83a9afae3f0db82ef7e5d1d3dd48ab1
parent 77c7ecf73e513d19375d808aee5663e7bb597dd4
author Patrick Georgi <patrick@georgi-clan.de> 1415815910 +0100
committer Patrick Georgi <pgeorgi@google.com> 1415974353 +0100

build system: improve portability

There are too many differences, and calculating relatively
large integer using floats might not be the brightest idea
anyway.

Also avoid relying on ls(1) output format to determine file sizes.

Change-Id: I5f96c036737b74e20f525c3dc9edc011ad403662
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: http://review.coreboot.org/7447
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>