If that's all that went on, I'd say it was a joke rather than flirt. If it turns out to be his usual way of communicating, this may still not be flirting, but I, personally, would find that unprofessional. At this point though I'd dismiss this as a joke.