mozilla/dxr — pull request #63 by erikrose (2013-01-09 21:24:24+00:00)
Title: Don't mount shared folder when on Jenkins.

This should dodge the NFS crash.