diff options
Diffstat (limited to 'eshtrans/bootstrap.sh')
-rw-r--r-- | eshtrans/bootstrap.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/eshtrans/bootstrap.sh b/eshtrans/bootstrap.sh deleted file mode 100644 index c1a7fe5..0000000 --- a/eshtrans/bootstrap.sh +++ /dev/null @@ -1,16 +0,0 @@ -printf 'Stage 1\n' -make clean -time -p make -f Makefile.old -mv eshtrans.old eshtrans.stage1 - -printf 'Stage 2\n' -make clean -cp -p eshtrans.stage1 eshtrans -time -p make -mv eshtrans eshtrans.stage2 - -printf 'Stage 3\n' -make clean -cp -p eshtrans.stage2 eshtrans -time -p make -mv eshtrans eshtrans.stage3 |