#! /bin/csh -f
#
#  Filename:  while3
#
set num=0
while (1)
   @ num++
   echo "The value of num is: $num"
   if ($num > 10) exit(1)
end
echo "while loop has ended"