diff agent/make/saenv64.sh @ 13189:f444a67ecbae

Debug: use silent debug config for sandbox
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 28 Nov 2013 19:51:54 +0100
parents f6f3bb0ee072
children 4fe850c65ed1
line wrap: on
line diff