On 30 May 2015 at 19:02, Paul Smith wrote:
> On Wed, 2015-05-27 at 07:50 +0100, Tim Murphy wrote:
> > $(shell cat filename) is also often used to read files into variables.
> >
> > There isn't much reason why $(file <) shouldn't read a file though is
> > there? It would have the additional bene
On Wed, 2015-05-27 at 07:50 +0100, Tim Murphy wrote:
> $(shell cat filename) is also often used to read files into variables.
>
> There isn't much reason why $(file <) shouldn't read a file though is
> there? It would have the additional benefit of being platform
> independent.
This would not
$(file) offers the ability to write files which saves one from tricks
involving $(shell). Calling $(shell) is very slow indeed in some makefiles.
$(shell cat filename) is also often used to read files into variables.
There isn't much reason why $(file <) shouldn't read a file though is
there?