Adding header check to machine-tux.sh autotest script

This commit is contained in:
Rob Falgout 2020-06-02 11:10:46 -07:00
parent 0b322c9960
commit e121789fc9

View File

@ -50,6 +50,8 @@ mv -f check-int.??? $output_dir
mv -f check-double.??? $output_dir
./test.sh check-mpi.sh $src_dir
mv -f check-mpi.??? $output_dir
./test.sh check-headers.sh $src_dir
mv -f check-headers.??? $output_dir
# Basic build and run tests
mo="-j test"