Paul: I just saw that two of the files in tools/memory-model/litmus-tests have almost identical names: Z6.0+pooncelock+pooncelock+pombonce.litmus Z6.0+pooncelock+poonceLock+pombonce.litmus They differ only by a lower-case 'l' vs. a capital 'L'. It's not at all easy to see, and won't play well in case-insensitive filesystems. Should one of them be renamed? Alan
