ndacremont/uthread
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: update logs and wait curl

Browse Source
This commit is contained in:
Nemo D'ACREMONT 2025-03-28 15:21:55 +01:00
parent 8a3381695b
commit b25ae2cf69
No known key found for this signature in database
GPG Key ID: 85F245EC3BB1E022
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
fetch_tests.sh
View File

@ -6,5 +6,6 @@ mkdir -p "${tst_dir}"
for filename in ${filenames} for filename in ${filenames}
do 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 done
wait