changeset 57804 | 9b7b9f16dfd9 |
parent 57651 | ddae2da329ed |
child 57975 | a333fdeb8de0 |
57803:23e3ab980622 | 57804:9b7b9f16dfd9 |
---|---|
4336 int os::compare_file_modified_times(const char* file1, const char* file2) { |
4336 int os::compare_file_modified_times(const char* file1, const char* file2) { |
4337 time_t t1 = get_mtime(file1); |
4337 time_t t1 = get_mtime(file1); |
4338 time_t t2 = get_mtime(file2); |
4338 time_t t2 = get_mtime(file2); |
4339 return t1 - t2; |
4339 return t1 - t2; |
4340 } |
4340 } |
4341 |
|
4342 bool os::supports_map_sync() { |
|
4343 return false; |
|
4344 } |