# HG changeset patch
# User erikj
# Date 1545231363 28800
# Node ID 076512b620d3d8afe3aa92181c641c1a5de70c82
# Parent  3292894e5734f6dab15a6ddc741a0558158a187f
Get rid of warning about non local filesystem

diff -r 3292894e5734 -r 076512b620d3 make/autoconf/basics.m4
--- 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
 ])