Re: RE: RE: MAKE - problem with small/capital letters in filenames

2002-11-04 Thread Graff_Zoltan
Hi! If the options to allow case-insensitive globbing are present, all you have to do is turn them on (using the MAKEFLAGS environment variable for make, and the appropriate .*rc file for the shell, IIRC). I see. I'll try to find this option. If these options are not available, there are

RE: RE: MAKE - problem with small/capital letters in filenames

2002-10-31 Thread Harig, Mark A.
try: %.D: %.C or %.d: %.C -Original Message- From: Graff_Zoltan [mailto:zotyo;z1.fszek.hu] Sent: Thursday, October 31, 2002 5:24 AM To: Harig, Mark A. Subject: Re: RE: MAKE - problem with small/capital letters in filenames $ ls makefile hello.c hello.c makefile Yes

RE: RE: MAKE - problem with small/capital letters in filenames

2002-10-31 Thread Igor Pechtchanski
On Thu, 31 Oct 2002, Harig, Mark A. wrote: try: %.D: %.C or %.d: %.C -Original Message- From: Graff_Zoltan [mailto:zotyo;z1.fszek.hu] Sent: Thursday, October 31, 2002 5:24 AM To: Harig, Mark A. Subject: Re: RE: MAKE - problem with small/capital letters in filenames

RE: RE: MAKE - problem with small/capital letters in filenames

2002-10-31 Thread Harig, Mark A.
Eventually, a gratefully accepted patch to the User's Manual (or FAQ) will be submitted that includes Igor Pechtchanski's detailed explanation, and we'll be able to simply point questioners to it with a URL. Zoltan Graff Please keep replies on-list. Thanks. Zoltan, In the Windows