12 lines
528 B
Bash
Executable File
12 lines
528 B
Bash
Executable File
#!/bin/sh
|
|
|
|
tst_dir=tst
|
|
filenames="01-main 02-switch 03-equity 11-join 12-join-main 13-join-switch 21-create-many 22-create-many-recursive 23-create-many-once 31-switch-many 32-switch-many-join 33-switch-many-cascade 51-fibonacci 61-mutex 62-mutex 63-mutex-equity 64-mutex-join 71-preemption 81-deadlock"
|
|
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" 2>/dev/null && echo "fetched ${filename}.c") &
|
|
done
|
|
wait
|