Ignore:
Timestamp:
09/15/20 15:13:22 (3 months ago)
Author:
davidb
Message:

Some refinement of the development setup scripts

File:
1 edited

Legend:

Unmodified
Added
Removed
  • gs3-extensions/mars-src/trunk/src/CASCADE-MAKE.sh

    r34370 r34387  
    11#!/bin/bash
    22
     3source ../cascade-make/lib/cascade-lib.bash GEXT_MARS .. $*
    34
    4 source ../cascade-make/lib/cascade-lib.bash GEXT_MARS .. $*
     5if [ -z "$GEXT_MARS_DEVEL" ] ; then
     6  cd .. && source ./devel.bash
     7fi
    58
    69for d in WAVESURFER ; do
Note: See TracChangeset for help on using the changeset viewer.