Ignore:
Timestamp:
10/12/10 14:08:41 (10 years ago)
Author:
sjm84
Message:

Several minor fixes to devel.bash

File:
1 edited

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
Note: See TracChangeset for help on using the changeset viewer.