summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPatrick Georgi <patrick@georgi-clan.de>2014-11-12 19:11:50 +0100
committerPatrick Georgi <pgeorgi@google.com>2014-11-14 15:12:33 +0100
commit3eefeea9d58ab2896aec7ded7aa1a15e8e9fa72c (patch)
tree5d666431a83a9afae3f0db82ef7e5d1d3dd48ab1 /.gitignore
parent77c7ecf73e513d19375d808aee5663e7bb597dd4 (diff)
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>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions