#!/bin/bash

function check_okay {
	if [ $? -ne 0 ]
	then
		echo
		pwd
		echo "./ck FAILED"
		echo
		exit 1
	fi
}

cd crlibm
make check >& tmp.txt
check_okay
grep 'All 21 tests passed' tmp.txt > .out
check_okay
cd ..