tools/Coco/Coco

   1 #!/bin/sh
   2
   3 set -e
   4
   5 DIR=$(dirname "$0")
   6 PATH="../..:$PATH"
   7
   8 java -ea -cp "$DIR/classes" Launcher Coco.$*