| commit | c21aa11311eea9d3d18a3ca2596c517682852437 | [log] [tgz] |
|---|---|---|
| author | Arjan Tijms <arjan.tijms@gmail.com> | Wed Feb 23 16:13:50 2022 +0100 |
| committer | GitHub <noreply@github.com> | Wed Feb 23 16:13:50 2022 +0100 |
| tree | dacbd1d5e473a45283e617289e48d3a7d9783427 | |
| parent | 13bf0d6ca917995c8a98158999d80dad46df5e4f [diff] | |
| parent | b138413344e9c183ea05ce95133c8730c4d2967f [diff] |
Merge pull request #23823 from arjantijms/faces400m3 Integrate Faces 4.0.0-M3
diff --git a/gfbuild.sh b/gfbuild.sh index 25c7f3b..66e15cb 100755 --- a/gfbuild.sh +++ b/gfbuild.sh
@@ -71,6 +71,9 @@ } build_re_dev(){ + if [ -f "${WORKSPACE}/snapshots/pom.xml" ]; then + mvn clean install -T2C -f "${WORKSPACE}/snapshots/pom.xml" ${MVN_EXTRA} + fi dev_build archive_bundles merge_junits