[match/match.git] / program / run-optimized

#!/bin/bash
make all-optimized && exec ghci -hisuf O.hi -osuf O.o Test "$@"
Commit	Line	Data
2ed0056e MM	1	#!/bin/bash
2ed0056e MM	2	make all-optimized && exec ghci -hisuf O.hi -osuf O.o Test "$@"