Backport 9b0baa10b9140045aa3a49b03e685dcd3ea7c623

openjdk-bots · Jun 22, 2023 · bb38cce · bb38cce
1 parent 031a5ed
commit bb38cce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make/conf/jib-profiles.js b/make/conf/jib-profiles.js
@@ -1477,7 +1477,7 @@ var getVersionNumbers = function () {
 var isWsl = function (input) {
     return ( input.build_osenv == "wsl"
              || (input.build_os == "linux"
-                 && java.lang.System.getProperty("os.version").contains("Microsoft")));
+                 && java.lang.System.getProperty("os.version").toLowerCase().contains("microsoft")));
 }
 
 var error = function (s) {