diff -r 73c8b86a05b1 -r 0a44fc4d6bd0 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 Aug 02 20:06:44 2009 +0200
@@ -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"