Oddly,
this answer to a different question claims
tcsh
sources
.profile
when it runs as a login shell. That doens't look right to me. The
tcsh
manpage doesn't mention it, plus the syntax is wrong for
tcsh
, as you say. Also, I just checked, and at least on Ubuntu 16.04 it doesn't.