#!/bin/csh -x
foreach i (main1 main2 main3 main4 main5 main6 main7 \
	   main8 main9 main10 main11 main12 main13 \
           main14 main15 main16 main17 main18 main19\
           main20)
        /official/gnu/bin/gcc -c $i.c
        cp $i.o main.o
        make
        shadows >> Timings.dat
        shadows >> Timings.dat
        shadows >> Timings.dat
        shadows >> Timings.dat
        shadows >> Timings.dat
        echo $i
end
