comparison agent/make/finalizerinfowindbg.bat @ 8283:09290d9deab3

windows build fix: server+graal build needs TIERED; include graal in client build
author Andreas Woess <andreas.woess@jku.at>
date Thu, 14 Mar 2013 14:15:11 +0100
parents c18cbe5936b8
children
comparison
equal deleted inserted replaced
8282:59744882ddeb 8283:09290d9deab3