bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: $(file) can't read files


From: Paul Smith
Subject: Re: $(file) can't read files
Date: Sat, 30 May 2015 14:02:54 -0400

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 be difficult.  There is one question to be answered:
should the results of reading a file be verbatim (including newlines)?
or should it be condensed, like the output of the $(shell ...) function,
where newlines are converted to spaces?




reply via email to

[Prev in Thread] Current Thread [Next in Thread]