From cf3d8bd2dc24cee2224d3c7534b91b9590b238c4 Mon Sep 17 00:00:00 2001 From: Timo Schmidt Date: Fri, 31 Mar 2023 18:11:00 +0200 Subject: [PATCH] extract_tests.sh rename flder --- extract_tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extract_tests.sh b/extract_tests.sh index f0fa7f7..baefae0 100755 --- a/extract_tests.sh +++ b/extract_tests.sh @@ -8,7 +8,7 @@ if [ ! "$(pwd)" = "${wd}" ]; then echo "${wd}" fi -out_dir="./timo_moulinette" +out_dir="./timoulinette" count="0" for file in $(find . | grep -v .git | grep '^\./c[[:digit:]][[:digit:]].*.c$'); do