From: David Abrahams (dave_at_[hidden])
Date: 2005-09-21 11:00:19
Rene Rivera <grafik.list_at_[hidden]> writes:
> David Abrahams wrote:
>> Someone emailed me privately to say that we could pipe our commands
>> into cmd without ever creating a .bat file. That's an interesting
>> idea; I'm not sure how to implement it though.
> Really? I thought about that yesterday but the CMD.EXE docs don't
> mention anything like that. I guess it will take some experimentation to
> find out.
ECHO 'dir' | cmd
works for me.
-- Dave Abrahams Boost Consulting www.boost-consulting.com
Boost-Build list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk