RFR: 8274750: java/io/File/GetXSpace.java failed: '/dev': 191488 != 190976

[Brian Burkhalter]

On Tue, 26 Oct 2021 19:00:44 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

> Please consider this proposed change to ignore comparing the total size of `/dev` as returned by `DF(1)` and `STAT(2)` on macOS.

Please refer to the issue for more detail, but this change is proposed because the total size of `/dev` can in fact change over time on macOS. Given that `df` and `getTotalSpace()` derive their values at different points in time, there is no way to guarantee that the two values will be equal.

-------------

PR: https://git.openjdk.java.net/jdk/pull/6122