From 0a29d06fea91264aa8474e8bfe7e731d5252790c Mon Sep 17 00:00:00 2001
From: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
Date: Thu, 7 Oct 2021 14:05:33 +0100
Subject: [PATCH] [ fix ] test runner

---
 tests/idris2/pkg010/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/idris2/pkg010/run b/tests/idris2/pkg010/run
index 88f823147..da4711354 100755
--- a/tests/idris2/pkg010/run
+++ b/tests/idris2/pkg010/run
@@ -12,4 +12,4 @@ export IDRIS2_PREFIX=${MY_PWD}currently/nonexistent/dir/
 $1 --install ./testpkg.ipkg
 
 # ../ is there for some extra safety for using rm -rf
-rm -rf ../pkg10/build ../pkg10/currently
+rm -rf ../pkg010/build ../pkg010/currently