From 7c994d0ee99d8b69bf958f1559db3a294f459e3e Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Tue, 15 Oct 2024 20:06:04 +0200
Subject: Rename debug shell executable

---
 shell/test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'shell/test.sh')

diff --git a/shell/test.sh b/shell/test.sh
index de888ef..8bc4589 100755
--- a/shell/test.sh
+++ b/shell/test.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-SHELLBIN="./run"
+SHELLBIN="./debugrun"
 TESTDIR="./shell/testcases"
 TESTOUT="shell/lasttest.out"
 TESTERR="shell/lasttest.err"
-- 
cgit v1.3