Show
Ignore:
Timestamp:
08.05.2001 10:26:29 (19 years ago)
Author:
jrm21
Message:

mico was being configured even if not needed. Fixed.

Files:
1 modified

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