diff -r 73c8b86a05b1 -r 9759fe659b4f scripts/build/debug/200-duma.sh --- a/scripts/build/debug/200-duma.sh Fri Mar 06 13:27:40 2009 +0000 +++ b/scripts/build/debug/200-duma.sh Sun Mar 08 17:09:39 2009 +0000 @@ -28,7 +28,7 @@ # The shared library needs some love: some version have libduma.so.0.0, # while others have libduma.so.0.0.0 - duma_so=$(make -n -p 2>&1 |egrep '^libduma.so[^:]*:' |head -n 1 |cut -d : -f 1) + duma_so=$(make -n -p 2>&1 |grep -E '^libduma.so[^:]*:' |head -n 1 |cut -d : -f 1) libs= [ "${CT_DUMA_A}" = "y" ] && libs="${libs} libduma.a"