diff options
Diffstat (limited to 'dev-util/pmd/files/pmd-4.2.5-launcher-pre-commands')
| -rw-r--r-- | dev-util/pmd/files/pmd-4.2.5-launcher-pre-commands | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev-util/pmd/files/pmd-4.2.5-launcher-pre-commands b/dev-util/pmd/files/pmd-4.2.5-launcher-pre-commands new file mode 100644 index 000000000000..b2e48852597d --- /dev/null +++ b/dev-util/pmd/files/pmd-4.2.5-launcher-pre-commands @@ -0,0 +1,6 @@ +if [ -z "$3" ]; then + script=`basename $0` + echo "Usage:" + echo " $script <java-src-file> html|xml|text|vbhtml rulesetfile1[,rulesetfile2[,..]]" + exit 1 +fi |