--- 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