From 570bad4e5337d91fb58b4ac0792e513fdaea2212 Mon Sep 17 00:00:00 2001 From: Dhruv Makwana Date: Sat, 23 Nov 2024 20:56:53 +0000 Subject: [PATCH] Fix run-cn.sh --- tests/run-cn.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/run-cn.sh b/tests/run-cn.sh index 509125c42..848d445b3 100755 --- a/tests/run-cn.sh +++ b/tests/run-cn.sh @@ -13,7 +13,7 @@ function echo_and_err() { exit 1 } -printf "\033[31mDEPRECATED\033[0m please use diff-prog.py (see ci-cn.yml)\n" "$result" +printf "\033[31mDEPRECATED\033[0m please use diff-prog.py (see ci-cn.yml)\n" LEMMATA=0