101e196c8SJohn Marino: 201e196c8SJohn Marinore=$1; shift 301e196c8SJohn Marino 4*6eef5f0cSAntonio Huete Jimenez# some Linux systems have deprecated egrep in favor of grep -E 5*6eef5f0cSAntonio Huete Jimenez# but not everyone supports that 6*6eef5f0cSAntonio Huete Jimenezcase "`echo bmake | egrep 'a|b' 2>&1`" in 7*6eef5f0cSAntonio Huete Jimenezbmake) ;; 8*6eef5f0cSAntonio Huete Jimenez*) egrep() { grep -E "$@"; } 9*6eef5f0cSAntonio Huete Jimenezesac 10*6eef5f0cSAntonio Huete Jimenez 1101e196c8SJohn Marinofor lib in $* 1201e196c8SJohn Marinodo 1301e196c8SJohn Marino found=`nm $lib | egrep "$re"` 1401e196c8SJohn Marino case "$found" in 1501e196c8SJohn Marino "") ;; 1601e196c8SJohn Marino *) echo "$lib: $found";; 1701e196c8SJohn Marino esac 1801e196c8SJohn Marinodone 1901e196c8SJohn Marino 2001e196c8SJohn Marino 21