Use WCOREDUMP() only if it's available
Use WCOREDUMP() only if it's available

darcs-hash:20050728185313-d2b6d-d70c0473ddd0b0aeb9f3f5574bcc326602eec089.gz

p5n/notion,knixeur/notion,neg-serg/notion,dkogan/notion.xfttest,dkogan/notion.xfttest,anoduck/notion,p5n/notion,neg-serg/notion,knixeur/notion,neg-serg/notion,dkogan/notion.xfttest,dkogan/notion,raboof/notion,p5n/notion,anoduck/notion,knixeur/notion,raboof/notion,neg-serg/notion,dkogan/notion,dkogan/notion,anoduck/notion,raboof/notion,knixeur/notion,anoduck/notion,p5n/notion,raboof/notion,dkogan/notion,dkogan/notion,dkogan/notion.xfttest,p5n/notion,knixeur/notion,anoduck/notion