Make sure to include the release ruleset if necessary
This commit is contained in:
parent
59d7834df1
commit
d333cc87be
@ -82,6 +82,11 @@ echo
|
||||
echo "Press enter to continue..."
|
||||
read
|
||||
echo "Committing current changes (pmd)"
|
||||
|
||||
if [[ -e pmd-core/src/main/resources/rulesets/releases/${RELEASE_VERSION//\./}.xml ]]
|
||||
git add pmd-core/src/main/resources/rulesets/releases/${RELEASE_VERSION//\./}.xml
|
||||
fi
|
||||
|
||||
git commit -a -m "Prepare pmd release ${RELEASE_VERSION}"
|
||||
(
|
||||
echo "Committing current changes (pmd.github.io)"
|
||||
|
Loading…
x
Reference in New Issue
Block a user