From 2e6ba8e32bf5a1ed30beae05be96935fe2fdcea9 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 9 Jul 2021 22:19:50 +0100
Subject: [PATCH] js test: provide otter_debug variable

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/script.ts      | 2 ++
 templates/test-inject.js | 1 +
 2 files changed, 3 insertions(+)

diff --git a/templates/script.ts b/templates/script.ts
index 1907da55..ccf82d01 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -98,6 +98,8 @@ type PieceErrorHandler = (piece: PieceId, p: PieceInfo, m: PieceOpError)
   => boolean;
 interface DispatchTable<H> { [key: string]: H };
 
+var otter_debug: boolean;
+
 // from header
 var movehist_len_i: number;
 var movehist_len_max: number;
diff --git a/templates/test-inject.js b/templates/test-inject.js
index fe673748..b835b9cb 100644
--- a/templates/test-inject.js
+++ b/templates/test-inject.js
@@ -19,4 +19,5 @@
       return new_console;
     })();
     console.log('wdriver.rs console log starts');
+    var otter_debug = true;
 </script>
-- 
2.30.2