Andre Guibert de Bruet wrote: > On Tue, 13 Jul 2004, Marcel Moolenaar wrote: >> On Tue, Jul 13, 2004 at 06:23:38PM -0400, Garance A Drosihn wrote: >>> a) how about if we print a warning and exit if DESTDIR is >>> not defined? Are there "important" uses of `make world' >>> which do not use DESTDIR? >> >> My thoughts exactly. See attached patch. > > May I suggest a sleep (Say 5 seconds) after the message is printed? Um... why? Look at the patch (more closely). If you don't define DESTDIR then the *only* thing that happens is that you get the warning message. JonReceived on Tue Jul 13 2004 - 22:43:44 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:01 UTC