setup.sh 218 B

12345678
  1. #!/bin/bash
  2. fw_depends stack
  3. ${IROOT}/stack --allow-different-user setup
  4. ${IROOT}/stack --allow-different-user build
  5. ${IROOT}/stack --allow-different-user exec servant-exe -- ${DBHOST} +RTS -A32m -N${MAX_THREADS} &