#/bin/csh
echo char \*STAT_COMPILED_AT  	\= \"`date`\"\;
echo char \*STAT_WHOAMI  	\= \"`whoami`\@`hostname`\"\;
echo char \*STAT_MARS    	\= \"MaRS Version 2.1\"\;
echo char \*STAT_COMPILER    	\= \"$1\"\;
shift
echo char \*STAT_LINKER    	\= \"$1\"\;
shift
echo char \*STAT_OPTIONS    	\= \"$*\"\;
