diff options
-rwxr-xr-x | bootstrap | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |