#!/bin/bash
find . -maxdepth 1 -name \*.java|sed 's/^\.\/\(.*\)\.java$/\1/'|sort| xargs -n 1 -i bash -c 'echo -e "\n\n\n{}====================================="; ../bin/mintc {}.java; echo "- - - - - - - -";../bin/mint {}'