From eca14f8a3378b0ca35b8aa24cc15fe856c1444af Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Fri, 27 Dec 2024 20:54:31 -0600
Subject: [PATCH] debug windows

---
 tests/idris2/pkg/pkg006/run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/idris2/pkg/pkg006/run b/tests/idris2/pkg/pkg006/run
index 022213c527..e6f98db05b 100755
--- a/tests/idris2/pkg/pkg006/run
+++ b/tests/idris2/pkg/pkg006/run
@@ -9,6 +9,8 @@ done
 
 TEST_PREFIX="$(cd ../../../.. && pwd | windows_path_tweaks)"
 
+echo "$TEST_PREFIX"
+
 fix_path() {
   windows_path_tweaks | sed "s#$TEST_PREFIX#[...]#g"
 }