1. 16 Oct, 2012 1 commit
    • Alessandro Rubini's avatar
      revision: change revision generation, no effect on output · 5d4ef29f
      Alessandro Rubini authored
      This doesn't change the behavior of any command, but adds revision.c
      as a real source file rather than something created by make using
      "echo ... > revision.c".  In any case, the file is recompiled
      each time you call "make", so the date and time reflect the last
      build.
      
      However, this introduces CONFIG_DETERMINISTIC_BINARY (that nobody
      sets at this point in time) to build a binary withouth __DATE__
      and __TIME__ strings, so it is the same at every rebuild. See
      next commit.
      Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
      5d4ef29f
  2. 13 Jun, 2012 1 commit