Changeset 34655 for gs3-extensions

Timestamp:

2021-01-13T23:14:31+13:00 (3 years ago)

Author:

davidb

Message:

Fix to devel.bash sourcing sequnce: needs to be pushd+popd combo

File:

• gs3-extensions/mars-src/trunk/src/CASCADE-MAKE.sh (modified) (1 diff)

gs3-extensions/mars-src/trunk/src/CASCADE-MAKE.sh

@@ -4 +4 @@
 
 if [ -z "$GEXT_MARS_DEVEL" ] ; then
-  cd .. && source ./devel.bash
+  pushd .. && source ./devel.bash && popd
 fi