Patch title: Release 81 bulk changes
Abstract:
File: /pliant/install/install
Key:
    Removed line
    Added line
   
#!/bin/sh


#!/bin/sh


if [ "$optim" = "precompile" ]; then
  precompile="module $2"
else
  precompile=""
fi

echo "precompiling Pliant (debugging level 0)"
echo "precompiling Pliant (debugging level 0)"
${exe} ${options} debug 0 reset ${gcc1} module /pliant/insta
${exe} ${options} debug 0 reset ${gcc1} module /pliant/install/precompile.pli ${command} ${precompile} ${gcc2} backup /binary/default.dump
echo "precompiling Pliant (debugging level 1)"
echo "precompiling Pliant (debugging level 1)"
${exe} ${options} debug 1 reset  module /pliant/install/prec
${exe} ${options} debug 1 reset  module /pliant/install/precompile.pli ${precompile} backup /binary/default.dump
echo "precompiling Pliant (debugging level 2)"
echo "precompiling Pliant (debugging level 2)"
${exe} ${options} debug 2 reset module /pliant/install/preco
${exe} ${options} debug 2 reset module /pliant/install/precompile.pli ${precompile} backup /binary/default.dump