diff options
Diffstat (limited to 'Master/bin/i386-linux/generate-fmtutil')
| -rwxr-xr-x | Master/bin/i386-linux/generate-fmtutil | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/bin/i386-linux/generate-fmtutil b/Master/bin/i386-linux/generate-fmtutil index b639dad34eb..1089cd2d921 100755 --- a/Master/bin/i386-linux/generate-fmtutil +++ b/Master/bin/i386-linux/generate-fmtutil @@ -36,6 +36,11 @@ end script=kpse.find_file(basename..".pl", "texmfscripts") +if (not(script)) then + print ("Cannot find "..basename..".pl".." using kpse, exiting!") + os.exit(1) +end + command={perlbin, script} for i=1, #arg do |