diff options
| -rwxr-xr-x | build-aux/write-atomic | 2 | ||||
| -rwxr-xr-x | build-aux/write-ifchanged | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/write-atomic b/build-aux/write-atomic index efb2551f9f..ab2a417c12 100755 --- a/build-aux/write-atomic +++ b/build-aux/write-atomic @@ -15,7 +15,7 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. outfile=$1 -tmpfile="$(dirname "$outfile")/.tmp${outfile##*/}" +tmpfile="$(dirname "$outfile")/.tmp.${outfile##*/}.tmp" cat > "$tmpfile" || { r=$?; rm -f "$tmpfile"; exit $r; } mv -f "$tmpfile" "$outfile" diff --git a/build-aux/write-ifchanged b/build-aux/write-ifchanged index 185ceb0039..84dfd6e639 100755 --- a/build-aux/write-ifchanged +++ b/build-aux/write-ifchanged @@ -15,7 +15,7 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. outfile=$1 -tmpfile="$(dirname "$outfile")/.tmp${outfile##*/}" +tmpfile="$(dirname "$outfile")/.tmp.${outfile##*/}.tmp" cat > "$tmpfile" || exit $? if cmp -s "$tmpfile" "$outfile"; then |