From b25ae2cf699983342a3756b2e7c7cfb39b686a35 Mon Sep 17 00:00:00 2001 From: Nemo D'ACREMONT Date: Fri, 28 Mar 2025 15:21:55 +0100 Subject: [PATCH] feat: update logs and wait curl --- fetch_tests.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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