You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
461 B
20 lines
461 B
#!/bin/bash
|
|
cd ../kernel && make sfsimg arch=riscv32 && cd ../tests
|
|
for f in *.cmd
|
|
do
|
|
echo testing $f begin
|
|
(
|
|
cd ../kernel
|
|
make build arch=riscv32 init=$(cat ../tests/$f)
|
|
exec timeout 10s make justruntest arch=riscv32 init=$(cat ../tests/$f)
|
|
) &
|
|
|
|
pid=$!
|
|
|
|
wait $pid
|
|
|
|
diff -I 'bbl loader' -I 'Hello RISCV! in hart' -u ${f%.cmd}.out stdout || { echo 'testing failed for' $f; exit 1; }
|
|
|
|
echo testing $f pass
|
|
done
|