From 11d796413f223fbf78c1633cf468cb572997379b Mon Sep 17 00:00:00 2001
From: Alexander Puck Neuwirth <APN-Pucky@users.noreply.github.com>
Date: Wed, 19 Jul 2023 17:16:12 +0200
Subject: [PATCH] Detect WSL in reported OS

---
 report_v2.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/report_v2.sh b/report_v2.sh
index 4d434c2..d272b45 100755
--- a/report_v2.sh
+++ b/report_v2.sh
@@ -29,6 +29,13 @@ TITLE=$(grep -i -A 1 "Details might be found in the build log:" $FULL | tail -n1
 TITLE="$TITLE: bootstrap-prefix.sh $STAGE fails"
 # EXTRAOS filters the OS name for the reports title, however we do include it in the title of the search!
 EXTRAOS="unknown"
+if [[ "$OS" == *"Microsoft"* ]] ; then
+  if [[ "$OS" == *"Linux"* ]] ; then
+    EXTRAOS="WSL"
+  else
+    EXTRAOS="Microsoft"
+  fi
+fi
 if [[ "$OS" == *"Linux"* ]] ; then
   EXTRAOS="Linux"
 fi