version-string: ../config.status ${top_srcdir}/scripts/make-version-string
CC="${CC}" ${top_srcdir}/scripts/make-version-string > $@.new
version-string: ../config.status ${top_srcdir}/scripts/make-version-string
CC="${CC}" ${top_srcdir}/scripts/make-version-string > $@.new