diff options
Diffstat (limited to 'Build/source/texk/detex/configure')
| -rwxr-xr-x | Build/source/texk/detex/configure | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/detex/configure b/Build/source/texk/detex/configure index fd0135e414d..c2cddf50873 100755 --- a/Build/source/texk/detex/configure +++ b/Build/source/texk/detex/configure @@ -7383,11 +7383,11 @@ MAKEINFO=${MAKEINFO-"${am_missing_run}makeinfo"} # We need awk for the "check" target. The system "awk" is bad on # some platforms. -# Always define AMTAR for backward compatibility. +# Always define AMTAR for backward compatibility. Yes, it's still used +# in the wild :-( We should find a proper way to deprecate it ... +AMTAR='$${TAR-tar}' -AMTAR=${AMTAR-"${am_missing_run}tar"} - -am__tar='${AMTAR} chof - "$$tardir"'; am__untar='${AMTAR} xf -' +am__tar='$${TAR-tar} chof - "$$tardir"' am__untar='$${TAR-tar} xf -' |