diff make/windows/makefiles/sa.make @ 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 0fc81f0a8ca8
children c18cbe5936b8
line wrap: on
line diff