#!/bin/csh -f
# Eric A. Brewer 11-25-92

cd printf
if ($status) then
	echo 'Unable to enter printf directory'
	exit 2
endif

make $*

if ($status) then
	echo '*** printf variants failed'
	exit 1
endif

