2024-11-04 15:54:05 -08:00

10 lines
134 B
Bash
Executable File

#!/bin/sh -e
. ../../../../scripts/utils.sh
for dir in choice initial state
do
echo "[ $dir ]"
(cd $dir; ./check-cpp "$@")
done