A modular invariant formulation of gaugino condensation with a positive semi-definite potential