diff --git a/fetch_tests.sh b/fetch_tests.sh index 732baa4..9b1d968 100755 --- a/fetch_tests.sh +++ b/fetch_tests.sh @@ -6,5 +6,6 @@ mkdir -p "${tst_dir}" for filename in ${filenames} do - curl -o "${tst_dir}/${filename}.c" "https://goglin.gitlabpages.inria.fr/enseirb-it202/tests/${filename}.c" & + (curl -o "${tst_dir}/${filename}.c" "https://goglin.gitlabpages.inria.fr/enseirb-it202/tests/${filename}.c" 2>/dev/null && echo "fetched ${filename}.c") & done +wait