On 01/13/2014 08:59 AM, Paolo Bonzini wrote: > +echo "CONFIG_STAMP=`date +%s`_$$_$RANDOM" >> $config_host_mak
I really really don't like random numbers that make for non-repeatable builds. It's a quality-assurance nightmare. If you want a non-random number unique to the build, try git log -n1 --format=format:%H and perhaps a file containing that hash created by scripts/make-release. r~
