Changeset: 2fdfe34f7262 Author: ihse Date: 2018-09-10 09:59 +0200 URL: http://hg.openjdk.java.net/jdk/jdk/rev/2fdfe34f7262 8081858: make dist-clean does not delete all log files Reviewed-by: erikj ! make/Init.gmk ! make/Main.gmk