diff make/linux/makefiles/build_vm_def.sh @ 3646:148584b96a34

Remove ci usage for accessing branch probability.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 16 Nov 2011 15:58:18 +0100
parents a5610f0862fe
children da0999c4b733
line wrap: on
line diff