On Thu, 26 May 2005 14:07:30 +0000 (UTC), James wrote:

> > make help lists the config tools
> 
> Surely you jest?
> 
> 'make --h' only lists options on my gentoo system:

'make --h' != 'make help'

Try:
cd /usr/src/linux
make help


-- 
Neil Bothwick

I've seen the procedure hundreds of times. - Qwark

Attachment: pgps1S7hmK3tS.pgp
Description: PGP signature

Reply via email to