tree 533890f181a0801f8dcd14237b9603522f466f34
parent fdf9060aa3b7461c5fa653aa334a57370b5421fd
author Paul Fox <pgf@brightstareng.com> 1189100716 -0000
committer Paul Fox <pgf@brightstareng.com> 1189100716 -0000

fix -xdev behavior in the presence of two or more nested mount points
on the command line, e.g. "find / /boot -xdev".