mirror of
https://github.com/AdaCore/PolyORB.git
synced 2026-02-12 13:01:15 -08:00
Make `configure` available in the repo. `utils/prepare_distrib -G .` can be used to generate `configure` `utils/adapt_configure -R <release> -V <version<` can be used to set the polyorb version. eng/shared/anod#298