make/autoconf/platform.m4
changeset 53110 50677f43ac3d
parent 51641 9ce4a0d718c7
--- a/make/autoconf/platform.m4	Tue Jan 01 20:09:02 2019 -0500
+++ b/make/autoconf/platform.m4	Wed Jan 02 12:59:26 2019 +0100
@@ -188,6 +188,10 @@
       VAR_OS=windows
       VAR_OS_ENV=windows.cygwin
       ;;
+    *wsl*)
+      VAR_OS=windows
+      VAR_OS_ENV=windows.wsl
+      ;;
     *mingw*)
       VAR_OS=windows
       VAR_OS_ENV=windows.msys