Merge pull request #513 from pgeorgi/configurable-timestamp
authordanh-arm <dan.handley@arm.com>
Thu, 11 Feb 2016 13:25:31 +0000 (13:25 +0000)
committerdanh-arm <dan.handley@arm.com>
Thu, 11 Feb 2016 13:25:31 +0000 (13:25 +0000)
commit846f236752a8b7a50d0007b1504cee0f26466339
treedc2c465f7cbd5365c417afaececd9452a0017c6d
parent85320724af73d0015d2cb0e99d59c292290b6ce5
parent2f5d4a485efd9d9577e6cd2eba5d730a94105b95
Merge pull request #513 from pgeorgi/configurable-timestamp

build system: allow overriding the build's timestamp