kernel: Find executable from WSLPATH on windows

1 files changed, 18 insertions, 1 deletions

diff --git a/otp_build b/otp_build
index 8f611240e7..2027896446 100755
--- a/otp_build
+++ b/otp_build
@@ -811,7 +811,24 @@ setup_win32_cl_env ()
     echo_setenv LIB "$LIB" ';'
     echo_setenv LIBPATH "$LIBPATH" ';'
     echo_setenv VCToolsRedistDir "$VCToolsRedistDir" ';'
-    echo_setenv WSLENV "$WSLENV" ';'
+    echo_setenv WSLENV "$WSLENV:WSLPATH/l:CLASSPATH/l" ';'
+
+    save_ifs=$IFS
+    IFS=:
+    WSLPATH=""
+    for p in $PATH; do
+	if [ -d "$p" ]; then
+	    case "$p" in
+		/mnt/c/*)
+		    WSLPATH=$WSLPATH:$p
+		    ;;
+		*)
+		    ;;
+	    esac
+	fi
+    done
+    IFS=$save_ifs
+    echo_setenv WSLPATH "$WSLPATH" ';'
 }
 
 lookup_prog_in_path ()