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