diff agent/make/saenv.sh @ 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 fac3dd92ebaf
children 4fe850c65ed1
line wrap: on
line diff