Changeset 34387 for gs3-extensions/mars-src/trunk/src/CASCADE-MAKE.sh

Timestamp:

2020-09-15T15:13:22+12:00 (4 years ago)

Author:

davidb

Message:

Some refinement of the development setup scripts

File:

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

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

@@ -1 +1 @@
 #!/bin/bash
 
+source ../cascade-make/lib/cascade-lib.bash GEXT_MARS .. $*
 
-source ../cascade-make/lib/cascade-lib.bash GEXT_MARS .. $*
+if [ -z "$GEXT_MARS_DEVEL" ] ; then
+  cd .. && source ./devel.bash
+fi
 
 for d in WAVESURFER ; do