Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-09 12:23:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

2007-01-17 Paolo Bonzini <bonzini@gnu.org>

Browse Source 
* bootstrap: Remove occurrences of .#bootmp from the files.
This commit is contained in:
Paolo Bonzini
2007-01-17 18:28:30 +00:00
parent db89d400f2
commit 830c9b1847
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
bootstrap
View File

@@ -315,7 +315,7 @@ cp_mark_as_generated()
if test -z "$c1"; then
cmp -s "$cp_src" "$cp_dst" || {
echo "$0: cp -f $cp_src $cp_dst" &&
cp -f "$cp_src" "$cp_dst"
sed 's/\.#bootmp\///g' "$cp_src" > "$cp_dst"
}
else
# Copy the file first to get proper permissions if it
@@ -324,7 +324,7 @@ cp_mark_as_generated()
(
echo "$c1-*- buffer-read-only: t -*- vi: set ro:$c2" &&
echo "${c1}DO NOT EDIT! GENERATED AUTOMATICALLY!$c2" &&
cat "$cp_src"
sed 's/\.#bootmp\///g' "$cp_src"
) > $cp_dst-t &&
if cmp -s "$cp_dst-t" "$cp_dst"; then
rm -f "$cp_dst-t"