make/autoconf/basics.m4
branchJDK-8215445-branch
changeset 57085 076512b620d3
parent 57075 168830ded68a
child 57093 031640f92352
--- a/make/autoconf/basics.m4	Wed Dec 19 14:55:39 2018 +0100
+++ b/make/autoconf/basics.m4	Wed Dec 19 06:56:03 2018 -0800
@@ -1280,7 +1280,18 @@
     if $DF $DF_LOCAL_ONLY_OPTION $1 > /dev/null 2>&1; then
       $2
     else
-      $3
+      # In WSL, local Windows drives are considered remote by df, but we are
+      # required to build into a directory accessible from windows, so consider
+      # them local here.
+      if test "x$OPENJDK_BUILD_OS_ENV" = "xwindows.wsl"; then
+        if $DF $1 | $GREP -q "^[[A-Z]]:"; then
+          $2
+        else
+          $3
+        fi
+      else
+        $3
+      fi
     fi
   fi
 ])