diff options
Diffstat (limited to 'Build/tools/ctan2tl')
-rwxr-xr-x | Build/tools/ctan2tl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl index 7ceda807a6b..3c3c158e899 100755 --- a/Build/tools/ctan2tl +++ b/Build/tools/ctan2tl @@ -119,4 +119,4 @@ rm -rf $pkg.done status=$? rm -rf ../raw/$pkg -exit $? +exit $status |