extract_tests.sh rename flder

2023-03-31 18:11:00 +02:00 · 2023-03-31 18:11:00 +02:00 · cf3d8bd2dc
parent d3e7404e5b
commit cf3d8bd2dc
1 changed files with 1 additions and 1 deletions
--- 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