diff make/windows/build.bat @ 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 39e409a664b3
children c18cbe5936b8
line wrap: on
line diff