Hello Garance, Wednesday, July 14, 2004, 2:23:38 AM, you wrote: GAD> a) how about if we print a warning and exit if DESTDIR is GAD> not defined? Are there "important" uses of `make world' GAD> which do not use DESTDIR? GAD> b) I still don't see how this would be hurt if the target had GAD> a different name. Yes, there is an issue of documentation, GAD> but I still think the following point is important: Wouldn't it be the best to fix 'make world' so it would do exactly what it's expected to? Sorry for my english. -- Good luck, S. mailto:senna_at_mail.fireshade.netReceived on Wed Jul 21 2004 - 09:11:47 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:02 UTC