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.

18 lines
345 B

#!/bin/bash
for f in *.cmd
do
echo testing $f begin
(
cd ../kernel
exec timeout 10s make runtest arch=riscv64 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