#!/bin/bash mkdir ./tmp TMPDIR=./tmp PATH=.:$PATH ../jre/bin/java -ea -cp ../jre/lib -jar ../lib/aprove.jar -m wst -p cpf -C ceta $1 rm -r ./tmp
