From: Jim Meyering <meyering@redhat.com>
Date: Mon, 31 Mar 2008 20:42:35 +0000 (+0200)
Subject: Emit "#line 1" right after the two 'read-only/GENERATED' lines.
X-Git-Tag: v6.11~38
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=94251ff0840563d0a5668fdc4f0683195a7d875e;p=thirdparty%2Fcoreutils.git

Emit "#line 1" right after the two 'read-only/GENERATED' lines.

* bootstrap (cp_mark_as_generated): This preserves line numbering
e.g., in assertions, which is important when correlating between
coreutils test failures and the original files in gnulib/tests.
Suggested by Eric Blake.
---

diff --git a/bootstrap b/bootstrap
index 9c932ee9e2..c1ed9e505d 100755
--- a/bootstrap
+++ b/bootstrap
@@ -394,6 +394,7 @@ cp_mark_as_generated()
       (
 	echo "$c1-*- buffer-read-only: t -*- vi: set ro:$c2" &&
 	echo "${c1}DO NOT EDIT! GENERATED AUTOMATICALLY!$c2" &&
+	echo '#line 1' &&
 	sed "s!$bt_regex/!!g" "$cp_src"
       ) > $cp_dst-t &&
       if cmp -s "$cp_dst-t" "$cp_dst"; then