diff options
Diffstat (limited to 'Build/source/utils/xml2pmx/configure')
-rwxr-xr-x | Build/source/utils/xml2pmx/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/xml2pmx/configure b/Build/source/utils/xml2pmx/configure index 48d8c811943..7f5d3a877a6 100755 --- a/Build/source/utils/xml2pmx/configure +++ b/Build/source/utils/xml2pmx/configure @@ -4388,7 +4388,7 @@ else $as_nop fi ;; esac -##tldbg KPSE_BASIC: Remember xml2pmx () as Kpse_Package (for future messages). +echo 'tldbg:KPSE_BASIC called (pkg=xml2pmx, amopt=)' >&5 if test "`cd $srcdir && pwd`" != "`pwd`"; then # Use -I$(srcdir) only when $(srcdir) != ., so that make's output |