diff options
| author | Norbert Preining <preining@logic.at> | 2008-02-08 10:02:48 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2008-02-08 10:02:48 +0000 |
| commit | 8675e83784878ae7c2433b47a08726e65f582409 (patch) | |
| tree | b5a3174be113332123cb290034fd7c9958758964 /Build | |
| parent | 6194c8002edb7c1e239b8bec0085eece1e3932cd (diff) | |
break out if we cannot find the script
git-svn-id: svn://tug.org/texlive/trunk@6540 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -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 |