mirror of
https://github.com/openjdk/jdk.git
synced 2026-07-06 17:19:09 +00:00
Get java.io.tmpdir property in os::get_temp_directory() and call this instead of harcoding "/tmp". Don't assume trailing file_separator either. Reviewed-by: dholmes, kamg