diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-01-15 13:34:06 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-01-15 13:34:06 +0000 |
commit | 948a54cc84456123b69a9b614326df2284d1031c (patch) | |
tree | d8b0262ad65fbdd133ae4e3a0f69252e0a57234a /Build/source/texk/web2c/triptrap-sh | |
parent | 1f09e19d2d4aa39249771dc1537e2752fe75a420 (diff) |
texk/web2c: Enable parallel-tests
git-svn-id: svn://tug.org/texlive/trunk@28841 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/triptrap-sh')
-rwxr-xr-x | Build/source/texk/web2c/triptrap-sh | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/Build/source/texk/web2c/triptrap-sh b/Build/source/texk/web2c/triptrap-sh index 8e2a15bbe66..dc443e4bbd5 100755 --- a/Build/source/texk/web2c/triptrap-sh +++ b/Build/source/texk/web2c/triptrap-sh @@ -1,7 +1,7 @@ #! /bin/sh # shell script to run TRIP and TRAP tests and create diffs. # -# Copyright (C) 2010, 2011 Peter Breitenlohner <tex-live@tug.org> +# Copyright (C) 2010-2013 Peter Breitenlohner <tex-live@tug.org> # # This file is free software; the copyright holder # gives unlimited permission to copy and/or distribute it, @@ -34,15 +34,9 @@ do && grep "PASS: $tst\.test" $tmp >/dev/null 2>&1 \ || { echo "FAIL: $tst.test"; exit 1; } echo ">>> Running $msg." >$file - sed -e "1,/^>>> Running $msg.\$/d" \ - -e "/^PASS: /,\$d" \ - -e "s%$srcdir/triptrap%SRCDIR/triptrap%" \ - -e "s%$srcdir/etexdir%SRCDIR/etexdir%" \ - -e "s%$srcdir/ptexdir%SRCDIR/ptexdir%" \ - -e "s%$srcdir/eptexdir%SRCDIR/eptexdir%" \ - -e "s%$srcdir/uptexdir%SRCDIR/uptexdir%" \ - -e "s%$srcdir/euptexdir%SRCDIR/euptexdir%" \ - $tmp >>$file + sed -e "s%$abs_srcdir/%SRCDIR/%" \ + -e "s%\.\./%./%" \ + $tst.log >>$file echo "PASS: $tst.test" >>$file rm -f $tmp echo "PASS: $tst.test" |