On Tue, Apr 27, 2010 at 01:11:58AM +0200, Martin Husemann wrote: > On Mon, Apr 26, 2010 at 10:14:58AM +0200, Martin Husemann wrote: > > If USE_TOOLS != yes it should just use cat (or explicitly /bin/cat). > > Or slightly different, just check if the command exists...
How about this: as a stopgap measure, I will change emit_dist_file to use 'cat'. I will think about TOOL_OR_HOST_CAT. Dave -- David Young OJC Technologies dyo...@ojctech.com Urbana, IL * (217) 278-3933
