Skip to content

Commit ff84549

Browse files
committed
efficiency
1 parent 16e04e8 commit ff84549

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

+stdlib/device.m

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414
if err == 0
1515
i = s.dev;
1616
end
17-
elseif isunix() && stdlib.has_java() && stdlib.java_api() >= 11
17+
elseif isunix() && stdlib.java_api() >= 11
1818
% Java 1.8 is buggy in some corner cases, so we require at least 11.
1919
i = java.nio.file.Files.getAttribute(javaPathObject(path), "unix:dev", javaLinkOption());
2020
end

+stdlib/hard_link_count.m

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@
1717
if err == 0
1818
c = s.nlink;
1919
end
20-
elseif isunix() && stdlib.has_java()
20+
elseif isunix()
2121
c = java.nio.file.Files.getAttribute(javaPathObject(p), "unix:nlink", javaLinkOption());
2222
end
2323

+stdlib/samepath.m

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@
2828
y = e1 == 0 && e2 == 0 && ...
2929
r1.ino == r2.ino && r1.dev == r2.dev;
3030

31-
elseif stdlib.has_java() && stdlib.java_api() >= 11
31+
elseif stdlib.java_api() >= 11
3232
% https://docs.oracle.com/en/java/javase/24/docs/api/java.base/java/nio/file/Files.html#isSameFile(java.nio.file.Path,java.nio.file.Path)
3333
% Java 1.8 is buggy in some corner cases, so we require at least 11.
3434
y = java.nio.file.Files.isSameFile(javaPathObject(path1), javaPathObject(path2));

0 commit comments

Comments
 (0)