From 0ffee3df6c709922dd99efdef07e2baedfab30ca Mon Sep 17 00:00:00 2001 From: Alexey Dejneka Date: Mon, 30 Jun 2003 07:10:46 +0000 Subject: [PATCH] Ops. Remove bogus time calls. --- make.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/make.sh b/make.sh index 64a565b..8626c85 100755 --- a/make.sh +++ b/make.sh @@ -113,9 +113,9 @@ sh make-config.sh || exit 1 # Or, if you can set up the files somewhere shared (with NFS, AFS, or # whatever) between the host machine and the target machine, the basic # procedure above should still work, but you can skip the "copy" steps. -time sh make-host-1.sh || exit 1 -time sh make-target-1.sh || exit 1 -time sh make-host-2.sh || exit 1 -time sh make-target-2.sh || exit 1 -time sh make-target-contrib.sh || exit 1 +sh make-host-1.sh || exit 1 +sh make-target-1.sh || exit 1 +sh make-host-2.sh || exit 1 +sh make-target-2.sh || exit 1 +sh make-target-contrib.sh || exit 1 date -- 1.7.10.4