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