/* Grow the configuration string to a desired length. Usually the first growth is plenty.  */
static void grow_config(int len)
/* Grow the configuration string to a desired length. Usually the first growth is plenty.  */
static void grow_config(int len)
{
	while (len_config + len > size_config) {
		if (size_config == 0)
			size_config = 2048;
		str_config = realloc(str_config, size_config *= 2);
		if (str_config == NULL)
			{ perror("fixdep:malloc"); exit(1); }
	}
}