Mercurial > dive4elements > river
diff backend/contrib/run_geo.sh @ 9779:3847836c60b5 3.2.x
Improve backend build for different database backends
Use profiles instead of multiple almost identical POMs.
Introduce build-time argument for Docker build.
| author | Tom Gottfried <tom@intevation.de> |
|---|---|
| date | Tue, 07 Feb 2023 16:11:43 +0100 |
| parents | f7c49975cc15 |
| children |