diff make/defs.make @ 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 4ca6dc0799b6
children 0583d157992a
line wrap: on
line diff