]> mj.ucw.cz Git - eval.git/blob - isolate/cleanup
projects / eval.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Isolate: First experiments
[eval.git] / isolate / cleanup
1 #!/bin/sh
2
3 echo >&2 "Cleaning up sandbox work directory"
4 rm -rf box
MOE -- A modular contest system