On Tue, Mar 15, 2016 at 4:28 AM, Nils Gladitz <nilsgladitz at gmail.com> wrote: > > https://cmake.org/Bug/view.php?id=15578 > https://cmake.org/Bug/view.php?id=15931 It seems like one of those reports should be marked as a duplicate of the other, no?