Skip to content
  • 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: default avatarAlessandro Rubini <rubini@gnudd.com>
    5d4ef29f