#!/bin/csh -f
#Program which compares the speed of two different decision methods
#namely "if" and "||"
date
@ i = 0
while ( $i < 100 )
	@ i++
	test -r somedumbfile || echo junk > /dev/null
end
#
date
#
@ i = 0
while ( $i < 100 )
	@ i++
	if ( ! -r somedumbfile ) echo junk > /dev/null 
end
#
date
#