At 4:22 PM -0700 7/13/04, 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. Actually, the target should end with some kind of failure, in case someone has a script that does: make world && do-next-thing if we change `make world' to do nothing, then sequences like this should error-out right away. So I think it should have a "false" command after all the _at_echo's... -- Garance Alistair Drosehn = gad_at_gilead.netel.rpi.edu Senior Systems Programmer or gad_at_freebsd.org Rensselaer Polytechnic Institute or drosih_at_rpi.eduReceived on Wed Jul 14 2004 - 00:25:01 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:01 UTC