diff make/Makefile @ 16628:d3fec84757ed

improved generated sources up-to-date check by using SHA1 digests
author Doug Simon <doug.simon@oracle.com>
date Thu, 31 Jul 2014 13:42:56 +0200
parents 942e4b7712e1
children b03a16cc5245
line wrap: on
line diff