You could also get in trouble by associating yourself with him if they were to catch him with something while you were around. That happened more than once to people when I was in high school..

I would definitely tell the principal. Even if he was joking, thats definitely not something someone should joke about.