On Jan 19, 2018, at 12:41, Clemens Lang wrote: > On Fri, Jan 19, 2018 at 03:53:15PM +0100, db wrote: >> But since this is MacPorts, I wonder if anyone has had problems >> specifically with a port not working and crashing. > > Remember that our buildbots use case-sensitive HFS, so we would usually > notice if a port fails to build due to case-sensitivity issues.
And indeed I and others have noticed and fixed many such problems. Here are a few: https://github.com/macports/macports-ports/search?q=case+sensitive&type=Commits&utf8=✓
