mirror of
https://github.com/mirror/make.git
synced 2026-08-10 01:48:12 +00:00
use to break up the list of words, so we're sure to get the same number. Fixes Savannah bug #33125
use to break up the list of words, so we're sure to get the same number. Fixes Savannah bug #33125