summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-12-24 22:15:53 +0000
committerKarl Berry <karl@freefriends.org>2018-12-24 22:15:53 +0000
commita13030f39366d2ba11509849863e9f6a9d78af89 (patch)
tree3fe3ebcec73f21e8ded67eada4c29c4cf24ec4cb /Build
parent6e93530cbc741195634fa8efe3b79a2a8b7ae70e (diff)
missed %s, from Andreas S
git-svn-id: svn://tug.org/texlive/trunk@49494 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r--Build/source/texk/kpathsea/ChangeLog4
-rwxr-xr-xBuild/source/texk/kpathsea/configure2
-rw-r--r--Build/source/texk/kpathsea/kpsewhich.c2
3 files changed, 7 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/ChangeLog b/Build/source/texk/kpathsea/ChangeLog
index 474d4169794..ba1feecea3d 100644
--- a/Build/source/texk/kpathsea/ChangeLog
+++ b/Build/source/texk/kpathsea/ChangeLog
@@ -1,3 +1,7 @@
+2018-12-24 Andreas Scherer <https://ascherer.github.io>
+
+ * kpsewhich.c: Add missing format placeholder.
+
2018-12-21 Karl Berry <karl@freefriends.org>
* texmf.cnf (shell_escape_commands): add rmpost.
diff --git a/Build/source/texk/kpathsea/configure b/Build/source/texk/kpathsea/configure
index 9b88c3db5ec..0c352c98159 100755
--- a/Build/source/texk/kpathsea/configure
+++ b/Build/source/texk/kpathsea/configure
@@ -8048,6 +8048,8 @@ fi
done
+## KPSE_COMMON: kpathsea ().
+## KPSE_BASIC: Remember kpathsea () as Kpse_Package (for future messages)
if test "`cd $srcdir && pwd`" != "`pwd`"; then
# Use -I$(srcdir) only when $(srcdir) != ., so that make's output
diff --git a/Build/source/texk/kpathsea/kpsewhich.c b/Build/source/texk/kpathsea/kpsewhich.c
index ead9af752f2..b4e1d988973 100644
--- a/Build/source/texk/kpathsea/kpsewhich.c
+++ b/Build/source/texk/kpathsea/kpsewhich.c
@@ -830,7 +830,7 @@ main (int argc, string *argv)
}
puts (kpse->format_info[user_format].path);
} else {
- WARNING1 ("kpsewhich: Unknown file type, cannot show path: ",
+ WARNING1 ("kpsewhich: Unknown file type, cannot show path: %s",
path_to_show);
}
}