diff agent/make/saenv64.sh @ 9012:2979aaac95af

assumptions: enable NoFinalizableSubclass assumption
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 11 Apr 2013 22:38:53 +0200
parents f6f3bb0ee072
children 4fe850c65ed1
line wrap: on
line diff