Show
Ignore:
Timestamp:
12.10.2010 14:08:41 (9 years ago)
Author:
sjm84
Message:

Several minor fixes to devel.bash

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gs2-extensions/gnome-lib/trunk/src/devel.bash

    r23112 r23122  
    55fi 
    66 
    7 if [ "x$GEXTGNOME_DEVEL" = "x" ] ; then 
     7if [ -z $GEXTGNOME ] ; then 
     8  source setup.bash 
     9fi 
     10 
     11if [ -z $GEXTGNOME_DEVEL ] ; then 
    812    # Set environment variable so we can tell devel.bash has been sourced 
    913    export GEXTGNOME_DEVEL=$GEXTGNOME