On Mon, Nov 11, 2024 at 10:15:30PM +0100, Szőke Benjamin wrote: > warning: the following paths have collided (e.g. case-sensitive paths > on a case-insensitive filesystem) and only one from the same > colliding group is in the working tree: > > 'tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+pombonce.litmus' > 'tools/memory-model/litmus-tests/Z6.0+pooncelock+pooncelock+pombonce.litmus' I support the idea of renaming one of these files. Not to make things work on case-insensitive filesystems, but simply because having two files with rather long (and almost nonsensical) names that are identical aside from one single letter is an excellent way to confuse users. Come on -- just look at the error report above. Can you tell at a glance, without going through and carefully comparing the two strings letter-by-letter, exactly what the difference is? Do you really think anybody could? I haven't looked to see if there are any other similar examples in the litmus-tests directory, but if there are than they should be changed too. Alan
