summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/web2c-sh.in
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2014-01-02 12:42:30 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2014-01-02 12:42:30 +0000
commitfa4f992c25c38ef0dec164173d7b2665f72881d4 (patch)
tree223be65d56a3e7ea54ded7c624799390cb0002f7 /Build/source/texk/web2c/web2c-sh.in
parent83ac1d512d846f4095288b909d97fa492fd4b9bf (diff)
texk/web2c: Output from convert is (non)verbose
git-svn-id: svn://tug.org/texlive/trunk@32547 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/web2c-sh.in')
-rw-r--r--Build/source/texk/web2c/web2c-sh.in27
1 files changed, 18 insertions, 9 deletions
diff --git a/Build/source/texk/web2c/web2c-sh.in b/Build/source/texk/web2c/web2c-sh.in
index bff620a0094..beab55e08a2 100644
--- a/Build/source/texk/web2c/web2c-sh.in
+++ b/Build/source/texk/web2c/web2c-sh.in
@@ -1,7 +1,7 @@
#! @SHELL@
# web2c-sh: shell script to invoke ${srcdir}/web2c/convert.
#
-# Copyright (C) 2009, 2012 Peter Breitenlohner <tex-live@tug.org>
+# Copyright (C) 2009-2014 Peter Breitenlohner <tex-live@tug.org>
#
# This file is free software; the copyright holder
# gives unlimited permission to copy and/or distribute it,
@@ -23,15 +23,27 @@
srcdir=@srcdir@; export srcdir
target=$1
base=$2
+
+do_convert () {
+ echo timestamp >$stamp.tmp
+ if $AM_V_P; then
+ echo "@SHELL@ $srcdir/web2c/convert $base"
+ @SHELL@ $srcdir/web2c/convert $base || exit 1
+ else
+ echo " WEB2C " $base
+ @SHELL@ $srcdir/web2c/convert $base >$base.out 2>&1; rc=$?
+ test $rc -eq 0 || { cat $base.out; exit $rc; }
+ rm -f $base.out
+ fi
+ mv -f $stamp.tmp $stamp
+}
+
stamp=$base-web2c
case $target in
$stamp)
# Normal build.
rm -f $stamp.tmp
- echo timestamp >$stamp.tmp
- echo " WEB2C " $base
- @SHELL@ $srcdir/web2c/convert $base || exit 1
- mv -f $stamp.tmp $stamp
+ do_convert
;;
*)
# Recover from removal of $target
@@ -40,10 +52,7 @@ case $target in
if mkdir $stamp.lock 2>/dev/null; then
# Code executed by the first process.
rm -f $stamp $stamp.tmp
- echo timestamp >$stamp.tmp
- echo " WEB2C " $base
- @SHELL@ $srcdir/web2c/convert $base || exit 1
- mv -f $stamp.tmp $stamp
+ do_convert
rmdir $stamp.lock
else
# Code executed by the follower processes.