Ignore:
Timestamp:
2001-05-08T10:26:29+12:00 (20 years ago)
Author:
jrm21
Message:

mico was being configured even if not needed. Fixed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/gsdl/packages/configure

    r2349 r2380  
    99bindir=$GSDLHOME/bin/$GSDLOS
    1010
     11USE_CORBA=false
    1112
    1213# parse any arguments given from toplevel configure
     
    6869echo USE_CORBA = $USE_CORBA
    6970echo MICO_DIR = $MICO_DIR
    70 if test -n "$USE_CORBA"; then
     71if test $USE_CORBA = true ; then
    7172  if test $MICO_DIR = default; then
    7273    # configure the MICO CORBA ORB
Note: See TracChangeset for help on using the changeset viewer.