#! /bin/csh -f
#
#  Filename:  while1
#
set num=0
while ($num < 10)
   @ num++      # This is how to increment a variable
   echo "The value of num is: $num"
end