# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1182910212 14400
# Node ID dd60fbdf04c74a7af06ee316c782efc57006f57d
# Parent  d2a27709d3b6e71c758d361bce7b30a3c9dea62b
Add time information to the build output.

diff -r d2a27709d3b6 -r dd60fbdf04c7 build.sh
--- a/build.sh	Tue Jun 26 21:32:19 2007 -0400
+++ b/build.sh	Tue Jun 26 22:10:12 2007 -0400
@@ -12,14 +12,14 @@
 # Download source code and build host tools.
 
 ./download.sh || exit 1
-./host-tools.sh || exit 1
+/usr/bin/time ./host-tools.sh || exit 1
 
 # Run the steps in order for each architecture listed on the command line
 for i in "$@"
 do
   echo "=== Building ARCH $i"
-  ./cross-compiler.sh $i || exit 1
+  /usr/bin/time ./cross-compiler.sh $i || exit 1
   echo "=== native ($i)"
-  ./mini-native.sh $i || exit 1
-  ./package-mini-native.sh $i || exit 1
+  /usr/bin/time ./mini-native.sh $i || exit 1
+  /usr/bin/time ./package-mini-native.sh $i || exit 1
 done