diff options
Diffstat (limited to 'Build/source/texk/web2c/web2c/convert')
-rwxr-xr-x | Build/source/texk/web2c/web2c/convert | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/web2c/convert b/Build/source/texk/web2c/web2c/convert index 82f2cd3fe83..38f350ada57 100755 --- a/Build/source/texk/web2c/web2c/convert +++ b/Build/source/texk/web2c/web2c/convert @@ -148,8 +148,8 @@ case $basefile in ;; tex|etex|luatex|pdftex|aleph|mf|mp|xetex) sleep 2 # so timestamps are definitely later, to avoid make weirdness - cat ${basefile}coerce.h $srcdir/web2c/coerce.h >x${basefile}coerce.h - mv x${basefile}coerce.h ${basefile}coerce.h + cat ${basefile}coerce.h $srcdir/web2c/coerce.h >${basefile}coerce.hx + mv ${basefile}coerce.hx ${basefile}coerce.h touch ${basefile}d.h ;; esac |