Revision ddba29f0 src/tm_mad/tm_common.sh

View differences:

src/tm_mad/tm_common.sh
40 40 
WGET=/usr/bin/wget
41 41 

  		




  42
  42
  
    
if [ "x$(uname -s)" = "xLinux" ]; then


  		




  43
  
  
    
    SED="$SED -e"


  		




  
  43
  
    
    SED="$SED -r"


  		




  44
  44
  
    
else


  		




  45
  45
  
    
    SED="/usr/bin/sed -E"


  		




  46
  46
  
    
fi


  		












Also available in:  Unified diff