debug windows

idris-lang · Dec 28, 2024 · eca14f8 · eca14f8
1 parent cd895e6
commit eca14f8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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"
 }