From: Keith M. <kei...@us...> - 2007-09-29 07:50:34
|
On Sat, 2007-09-29 at 13:51 +0800, Yongwei Wu wrote: > One may argue that FOO and foo are still different files ... No, one may not; not when the file system is case insensitive, as it is with Woe32 -- they are *unequivocally* the same file! If diff thinks otherwise, then that is a bug in diff. And, since this started out as a discussion on case sensitivity in make... Yongwei, you once told me there is no point in disputing fact; yet here you are, doing just that. It is fact that Woe32's file system is case insensitive. It is fact that GNU make has a feature to support its use with such file systems. It is fact that, when that feature is enabled, its rule naming conventions become case insensitive for *all* targets. You must adapt your expectations and practise, to conform with fact; argument is futile. Regards, Keith. |