summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--eshtrans/bootstrap.sh12
1 files changed, 6 insertions, 6 deletions
diff --git a/eshtrans/bootstrap.sh b/eshtrans/bootstrap.sh
index 9d0b763..c1a7fe5 100644
--- a/eshtrans/bootstrap.sh
+++ b/eshtrans/bootstrap.sh
@@ -1,16 +1,16 @@
-printf 'Stage 1'
+printf 'Stage 1\n'
make clean
-make -f Makefile.old
+time -p make -f Makefile.old
mv eshtrans.old eshtrans.stage1
-printf 'Stage 2'
+printf 'Stage 2\n'
make clean
cp -p eshtrans.stage1 eshtrans
-make
+time -p make
mv eshtrans eshtrans.stage2
-printf 'Stage 3'
+printf 'Stage 3\n'
make clean
cp -p eshtrans.stage2 eshtrans
-make
+time -p make
mv eshtrans eshtrans.stage3