summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/web2c-sh.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/web2c-sh.in')
-rw-r--r--Build/source/texk/web2c/web2c-sh.in6
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/web2c-sh.in b/Build/source/texk/web2c/web2c-sh.in
index 368bfbf00ad..bff620a0094 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 Peter Breitenlohner <tex-live@tug.org>
+# Copyright (C) 2009, 2012 Peter Breitenlohner <tex-live@tug.org>
#
# This file is free software; the copyright holder
# gives unlimited permission to copy and/or distribute it,
@@ -29,7 +29,7 @@ case $target in
# Normal build.
rm -f $stamp.tmp
echo timestamp >$stamp.tmp
- echo "@SHELL@ $srcdir/web2c/convert $base"
+ echo " WEB2C " $base
@SHELL@ $srcdir/web2c/convert $base || exit 1
mv -f $stamp.tmp $stamp
;;
@@ -41,7 +41,7 @@ case $target in
# Code executed by the first process.
rm -f $stamp $stamp.tmp
echo timestamp >$stamp.tmp
- echo "@SHELL@ $srcdir/web2c/convert $base"
+ echo " WEB2C " $base
@SHELL@ $srcdir/web2c/convert $base || exit 1
mv -f $stamp.tmp $stamp
rmdir $stamp.lock