Changeset 23122

Timestamp:

2010-10-12T14:08:41+13:00 (14 years ago)

Author:

sjm84

Message:

Several minor fixes to devel.bash

File:

• gs2-extensions/gnome-lib/trunk/src/devel.bash (modified) (1 diff)

gs2-extensions/gnome-lib/trunk/src/devel.bash

@@ -5 +5 @@
 fi
 
-if [ "x$GEXTGNOME_DEVEL" = "x" ] ; then
+if [ -z $GEXTGNOME ] ; then
+  source setup.bash
+fi
+
+if [ -z $GEXTGNOME_DEVEL ] ; then
     # Set environment variable so we can tell devel.bash has been sourced
     export GEXTGNOME_DEVEL=$GEXTGNOME