mirror of
https://github.com/AdaCore/PolyORB.git
synced 2026-02-12 13:01:15 -08:00
not using --enable-debug, strip installed binaries. For JB30-028 Merge rev 167707 from trunk Subversion-branch: /branches/polyorb/2.7 Subversion-revision: 168075