On Fri, 21 Nov 2003, Barney Wolff wrote: > Will somebody please tell me when "make world" is ever correct in the > environment of the last several years? I've been unable to understand > its continued existence as a target. >From my normal world-building script: DESTDIR=/c/z/root \ MAKEOBJDIRPREFIX=/c/z/obj \ time -l make -s world > /tmp/world.out 2>&1 BruceReceived on Sat Nov 22 2003 - 03:42:33 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:37:30 UTC