diff --git a/dist/pom.xml b/dist/pom.xml index 6885aaa8572..700d1b5ebea 100644 --- a/dist/pom.xml +++ b/dist/pom.xml @@ -179,6 +179,23 @@ + + org.codehaus.mojo + exec-maven-plugin + + + if_modified_files + verify + + exec + + + bash + -c 'export MODIFIED=$(git status --porcelain | grep "^ M"); [[ -z $MODIFIED ]] && exit 0 || { echo -e "found modified files during mvn verify:\n$MODIFIED"; exit 1;}' + + + + org.apache.rat apache-rat-plugin