diff make/Makefile @ 1438:a7a0ef3c6858

Added timing printout on VM shutdown.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 25 Oct 2010 18:35:34 +0200
parents 6223633ce7dd
children 2d26b0046e0d
line wrap: on
line diff