diff options
Diffstat (limited to 'eshtrans')
| -rw-r--r-- | eshtrans/bootstrap.sh | 12 |
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 |