[test -z "$CONFIG_HEADERS" || echo > stamp-h])
dnl Umm, what's the point of these assignments?? -- <dan-nmh@dilvish.speed.net>
[test -z "$CONFIG_HEADERS" || echo > stamp-h])
dnl Umm, what's the point of these assignments?? -- <dan-nmh@dilvish.speed.net>