65146afcf5
This consolidates use of GitHub Actions, since we are using it as well with racket/racket. original commit: c3bf252c76ef594dfccf332def30f3d9c733282d
22 lines
528 B
Bash
Executable File
22 lines
528 B
Bash
Executable File
#!/bin/bash
|
|
runmats() {
|
|
echo travis_fold:start:mats
|
|
echo make allxhelp "$@"
|
|
make -C ${TARGET_MACHINE}/mats allxhelp "$@" 2>&1 | tee -a Make.out | grep '^matting '
|
|
echo travis_fold:end:mats
|
|
}
|
|
|
|
# Split these out so that we get output every 10 minutes on Windows builds.
|
|
runmats o=0
|
|
runmats o=3
|
|
runmats o=3 cp0=t
|
|
runmats o=3 cp0=t eval=interpret
|
|
|
|
if [ -f ${TARGET_MACHINE}/mats/summary ]; then
|
|
cat ${TARGET_MACHINE}/mats/summary
|
|
diff -q .github/scripts/summary ${TARGET_MACHINE}/mats/summary
|
|
exit $?
|
|
else
|
|
exit 1
|
|
fi
|