launch.envreg 197 B

12345678910
  1. #! /bin/sh
  2. #
  3. # Compile and install the TIGCC environment registrator
  4. #
  5. echo Installing tigcc environment registrator...
  6. cd ../sources/envreg/src/
  7. make -e
  8. cp envreg $TIGCC/bin
  9. make clean
  10. echo Done.