diff options
author | Julian Andres Klode <jak@debian.org> | 2017-08-12 10:02:45 -0400 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2017-08-12 10:03:26 -0400 |
commit | 79c0a12d5c2d4fd8e6bfcf3a632a452239c07fe0 (patch) | |
tree | 6bf3b559a49505dc8e9bd029d9e0bf23ddcab725 /Dockerfile | |
parent | e250a8d8d8ef2f8f8c5e2041f7645c49fba7aa36 (diff) |
Work around float rounding change in gcc 7 on i386
This caused a build failure in the test suite.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions