summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbootstrap1
1 files changed, 1 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap
index 9c932ee9e..c1ed9e505 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