From c982b63dc29f6cf0fa5ca70fd2765e4e140bb137 Mon Sep 17 00:00:00 2001
From: John Owens <jdowens@google.com>
Date: Tue, 5 Nov 2024 09:40:58 -0800
Subject: [PATCH] also prints process.release.name

---
 both_webgpu/both.mjs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/both_webgpu/both.mjs b/both_webgpu/both.mjs
index d6c912e..46b8dcf 100644
--- a/both_webgpu/both.mjs
+++ b/both_webgpu/both.mjs
@@ -13,6 +13,9 @@ async function main(navigator) {
     fail("Fatal error: Device does not support WebGPU.");
   }
   console.log("I am main! (WebGPU)");
+  if (typeof process !== "undefined") {
+    console.log("  Process release name:", process.release.name);
+  }
 
   const workgroupSize = 64;
   const memsrcSize = 2 ** 24;