dev-util/pmd/files/pmd-4.1-launcher-pre-commands


1
2
3
4
5
6

if [ -z "$3" ]; then
    script=`basename $0`
    echo "Usage:"
    echo "    $script <java-src-file> html|xml|text|vbhtml rulesetfile1[,rulesetfile2[,..]]"
    exit 1
fi