Fix shell quotation.
Fix shell quotation.

	* build-aux/children.as (children_kill): We do want to split the
	$pids.

aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport