idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-05 06:37:23 +03:00
Code Issues Projects Releases Wiki Activity

[ fix ] test runner

Browse Source
This commit is contained in:
Guillaume ALLAIS 2021-10-07 14:05:33 +01:00 committed by G. Allais
parent 384c8874c2
commit 0a29d06fea
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/idris2/pkg010/run
View File

@ -12,4 +12,4 @@ export IDRIS2_PREFIX=${MY_PWD}currently/nonexistent/dir/
$1 --install ./testpkg.ipkg $1 --install ./testpkg.ipkg
# ../ is there for some extra safety for using rm -rf # ../ is there for some extra safety for using rm -rf
rm -rf ../pkg10/build ../pkg10/currently rm -rf ../pkg010/build ../pkg010/currently