On Tue, Jun 1, 2010 at 14:46, Michael Dickens <m...@alum.mit.edu> wrote:
> Can we instead use something like: > > $ date -u +"%a, %d %b %Y %R:%S" This works. > Doing "grep -r BUILD_DATE ." from the top-level > directory, I think, shows that this variable isn't even used ... yes? It is in gnuradio-core/src/lib/general/gr_constants.cc.in, and ultimately shows up in the output of: $ gnuradio-config-info --builddate Mon, 31 May 2010 06:51:25 +0000 I've got a new solution for the cut issue, using only shell script commands (we don't want the awk dependency), so with the two of these, I think we're set. Johnathan _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
