diff --git a/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java b/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java index 70732230..05d1ccab 100644 --- a/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java +++ b/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java @@ -134,7 +134,7 @@ public boolean isEnabled() { public void dumpIncludes() { try (var writer = Files.newBufferedWriter(Path.of(dumpIncludesFile), StandardOpenOption.CREATE)) { Map> declsByPath = usedDeclarations.stream() - .collect(Collectors.groupingBy(d -> d.pos().path(), + .collect(Collectors.groupingBy(d -> d.pos().path().normalize(), () -> new TreeMap<>(Path::compareTo), Collectors.toCollection(() -> new TreeSet<>(Comparator.comparing(Declaration::name))))); String lineSep = "";