Commit 598580519cc391a0856e5ff7a15c1634d0ad29bc

Ben Pfaff 2009-09-06T17:17:41

Work around a glibc bug in strtok_r.