summaryrefslogtreecommitdiff
path: root/Build/source/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2013-01-17 23:56:50 +0000
committerKarl Berry <karl@freefriends.org>2013-01-17 23:56:50 +0000
commit4e62a420bb089bdb69d8f7b1b1454042d65e5b9b (patch)
tree2ef9b62eed1186d8f1e6d8c1d90bcd343f14c862 /Build/source/Build
parent688e2e4682fedf85cb675c18c55db2a626059911 (diff)
remove use of time.
git-svn-id: svn://tug.org/texlive/trunk@28856 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-xBuild/source/Build7
1 files changed, 2 insertions, 5 deletions
diff --git a/Build/source/Build b/Build/source/Build
index f244819be0a..bb22ab5f71a 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -38,9 +38,6 @@ export MAKE
: ${GNUMAKE=${TL_MAKE}}
export GNUMAKE
-# allow override of the time program, e.g., to /bin/true if you lack it.
-: ${TL_BUILD_TIME_PROG=time}
-
if test "x$1" = x--no-clean; then
shift
else
@@ -103,7 +100,7 @@ cd $TL_WORKDIR || exit 1
#
set -vx # show the configure and make commands in the log.
- eval $TL_BUILD_ENV $TL_BUILD_TIME_PROG $TL_CONFIGURE \
+ eval $TL_BUILD_ENV $TL_CONFIGURE \
--prefix=$TL_INSTALL_DEST \
--datadir=$TL_INSTALL_DEST \
$TL_CONF_BANNER \
@@ -113,7 +110,7 @@ cd $TL_WORKDIR || exit 1
$TL_CONF_XDVI_TOOLKIT \
$TL_CONFIGURE_ARGS \
"$@" \
- && eval $TL_BUILD_ENV $TL_BUILD_TIME_PROG $TL_MAKE $TL_MAKE_FLAGS $TL_TARGET
+ && eval $TL_BUILD_ENV $TL_MAKE $TL_MAKE_FLAGS $TL_TARGET
# Too arcane to try to propagate the exit status through a pipeline.
# Just use a temp file.