mirror of
https://github.com/mirror/make.git
synced 2026-08-24 02:43:27 +08: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