#!/bin/bash

function check_okay {
	if [ $? -ne 0 ]
	then
		exit 1
	fi
}

function do_one {
	cd $1
	check_okay
	pwd
  cd src
  ~/mesa/check_crlibm
  cd ../..
}

date
source do1_test_source
echo ""
date
