scripts/build/debug/200-duma.sh
changeset 1247 9759fe659b4f
parent 1238 73c8b86a05b1
child 1489 8c45efc97e7f
     1.1 --- a/scripts/build/debug/200-duma.sh	Fri Mar 06 13:27:40 2009 +0000
     1.2 +++ b/scripts/build/debug/200-duma.sh	Sun Mar 08 17:09:39 2009 +0000
     1.3 @@ -28,7 +28,7 @@
     1.4  
     1.5      # The shared library needs some love: some version have libduma.so.0.0,
     1.6      # while others have libduma.so.0.0.0
     1.7 -    duma_so=$(make -n -p 2>&1 |egrep '^libduma.so[^:]*:' |head -n 1 |cut -d : -f 1)
     1.8 +    duma_so=$(make -n -p 2>&1 |grep -E '^libduma.so[^:]*:' |head -n 1 |cut -d : -f 1)
     1.9  
    1.10      libs=
    1.11      [ "${CT_DUMA_A}" = "y" ] && libs="${libs} libduma.a"