summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ctangleboot-sh.in
diff options
context:
space:
mode:
authorDenis Bitouzé <dbitouze@wanadoo.fr>2021-02-25 18:23:07 +0000
committerDenis Bitouzé <dbitouze@wanadoo.fr>2021-02-25 18:23:07 +0000
commitc6101f91d071883b48b1b4b51e5eba0f36d9a78d (patch)
tree1bf7f5a881d7a4f5c5bf59d0b2821943dd822372 /Build/source/texk/web2c/ctangleboot-sh.in
parent07ee7222e389b0777456b427a55c22d0e6ffd267 (diff)
French translation for tlmgr updated
git-svn-id: svn://tug.org/texlive/trunk@57912 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/ctangleboot-sh.in')
-rw-r--r--Build/source/texk/web2c/ctangleboot-sh.in80
1 files changed, 0 insertions, 80 deletions
diff --git a/Build/source/texk/web2c/ctangleboot-sh.in b/Build/source/texk/web2c/ctangleboot-sh.in
deleted file mode 100644
index 1cc839f058c..00000000000
--- a/Build/source/texk/web2c/ctangleboot-sh.in
+++ /dev/null
@@ -1,80 +0,0 @@
-#! @SHELL@
-# ctangleboot-sh: shell script to invoke ctangleboot and if required
-# update c{tangle,web}boot.[ch]in from c{tangle,web}.[ch].
-# For details see tangle-sh.
-#
-# 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,
-# with or without modifications, as long as this notice is preserved.
-#
-target=$1; shift
-base=$1
-case $base in
- common) file=cweb; exts=c;;
- ctangle) file=ctangle; exts=c;;
- *) echo "Usage: $0 TARGET {common|ctangle} [CHANGEFILE]" >&2; exit 1;;
-esac
-
-TEXMFCNF=@srcdir@/../kpathsea; export TEXMFCNF
-CWEBINPUTS=@srcdir@/cwebdir; export CWEBINPUTS
-
-do_ctangleboot () {
- echo timestamp >$stamp.tmp
- if $AM_V_P; then
- echo "@CTANGLEBOOT@ $@"
- @CTANGLEBOOT@ "$@" || exit 1
- else
- echo " CTANGLE " $base
- @CTANGLEBOOT@ "$@" >$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-ctangle
-case $target in
- $stamp)
- # Normal build.
- rm -f $stamp.tmp
- do_ctangleboot "$@"
- ;;
- *)
- # Recover from removal of $target
- test -f $target && exit 0
- trap "rm -rf $stamp $stamp.lock" 1 2 13 15
- if mkdir $stamp.lock 2>/dev/null; then
- # Code executed by the first process.
- rm -f $stamp $stamp.tmp
- do_ctangleboot "$@"
- rmdir $stamp.lock
- else
- # Code executed by the follower processes.
- # Wait until the first process is done.
- while test -d $stamp.lock; do sleep 1; done
- # Succeed if and only if the first process succeeded.
- test -f $stamp; exit $?
- fi
- ;;
-esac
-
-for ext in $exts; do
- src=$file.$ext
- dst=@srcdir@/${file}boot.${ext}in
- sed -e 's,@srcdir@/cwebdir,cwebdir,' \
- $src >$stamp.tmp
- if cmp -s $stamp.tmp $dst; then
- rm -f $stamp.tmp
- else
- if $AM_V_P; then
- echo "Updating $src => $dst"
- else
- echo " UPD " ${file}boot.${ext}in
- fi
- mv -f $stamp.tmp $dst || exit 1
- fi
-done
-
-exit 0