Make the evaluator's review weights configurable.
[match/match.git] / program / run-optimized
1 #!/bin/bash
2 make all-optimized && exec ghci -hisuf O.hi -osuf O.o Test "$@"