diff options
-rwxr-xr-x | Build/source/texk/texlive/generate-fmtutil | 5 | ||||
-rwxr-xr-x | Build/source/texk/texlive/generate-language | 5 | ||||
-rwxr-xr-x | Build/source/texk/texlive/generate-updmap | 5 |
3 files changed, 15 insertions, 0 deletions
diff --git a/Build/source/texk/texlive/generate-fmtutil b/Build/source/texk/texlive/generate-fmtutil index b639dad34eb..1089cd2d921 100755 --- a/Build/source/texk/texlive/generate-fmtutil +++ b/Build/source/texk/texlive/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 diff --git a/Build/source/texk/texlive/generate-language b/Build/source/texk/texlive/generate-language index 3acd87edc46..b2013a3c8ca 100755 --- a/Build/source/texk/texlive/generate-language +++ b/Build/source/texk/texlive/generate-language @@ -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 diff --git a/Build/source/texk/texlive/generate-updmap b/Build/source/texk/texlive/generate-updmap index 321b385f6b9..30549144271 100755 --- a/Build/source/texk/texlive/generate-updmap +++ b/Build/source/texk/texlive/generate-updmap @@ -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 |