Convert “burnin” to definition-based options
authorMichael Hanselmann <hansmi@google.com>
Mon, 24 Aug 2009 09:09:33 +0000 (11:09 +0200)
committerMichael Hanselmann <hansmi@google.com>
Mon, 24 Aug 2009 13:53:39 +0000 (15:53 +0200)
commit10eb54fb92b412805bbd4d36d68d322535a1192a
tree0484ed2f73635d429a65961de24221016ee53375
parent224b89fa37b455515fb46e73d16a1b3b12d15b15
Convert “burnin” to definition-based options

Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
tools/burnin