#!/bin/csh -f
echo Setting executable privilage and file permision
foreach i (`cat shellfilelist`)
	chmod 555 $i
end
# special case, the setupenv needs to be editable
chmod u+w setupenv