K 10 svn:author V 3 knu K 8 svn:date V 27 2003-08-22T09:25:17.000000Z K 7 svn:log V 126 Fix the problem that RUBY_WITH_PTHREAD is unwantedly nullified for the *_r ports. Reported by: kris, nork, broken make index END