You dislike his humor, that's fine. Calling it unprofessional is subjective. Some professional environments with great professional output appreciate humor. Al

You dislike his humor, that's fine. Calling it unprofessional is subjective. Some professional environments with great professional output appreciate humor. Also, I am bottlenecked on my build system at my workplace, which takes ~45 seconds to realize nothing needs to be done (It isn't "make", because "make" does not support our build process).