diff --git a/client/cs_statefile.cpp b/client/cs_statefile.cpp index 0e1671ea334..05e23500782 100644 --- a/client/cs_statefile.cpp +++ b/client/cs_statefile.cpp @@ -931,6 +931,13 @@ int CLIENT_STATE::parse_app_info(PROJECT* p, FILE* in) { delete avp; continue; } + if (cc_config.dont_use_wsl && strstr(avp->plan_class, "wsl")) { + msg_printf(p, MSG_INFO, + "skipping wsl app in app_info.xml; wsl disabled in cc_config.xml" + ); + delete avp; + continue; + } if (strlen(avp->platform) == 0) { safe_strcpy(avp->platform, get_primary_platform()); } diff --git a/client/log_flags.cpp b/client/log_flags.cpp index 4aab8d8a382..a5ade346d0e 100644 --- a/client/log_flags.cpp +++ b/client/log_flags.cpp @@ -196,6 +196,9 @@ void CC_CONFIG::show() { if (dont_use_vbox) { msg_printf(NULL, MSG_INFO, "Config: don't use VirtualBox"); } + if (dont_use_wsl) { + msg_printf(NULL, MSG_INFO, "Config: don't use the Windows Subsystem for Linux"); + } for (i=0; i