bug in grep?

[Robert . Deuerling]

Hello,

the follow problem occurs to me today:

I have a filecontent like this:

[....]
           AXR$                       .
           $INCLUDE 'OMA'             .
           $INCLUDE 'P2059*DEF$PF.LBWDEF' .
[...]

and want to filter out those lines with $INCLUDE... so I decided to do the
following:

cat test | grep -xv ' +\$INCLUDE.*'

but surprise surprise grep does not recognize this pattern and echos the
$INCLUDE lines....

The following works like expected...

cat test | grep -xv ' *\$INCLUDE.*'

I've checked, that theres are only whitespaces infront of $INCLUDE..

Can you explain that sort of thing?

Versions of grep used: 2.5.1 and 2.4.2

Regards,
 -Robert Deuerling