Paper: Remove "NOT YET" on URL in preparation for release.
[match/match.git] / program / run-optimized
... / ...
CommitLineData
1#!/bin/bash
2make all-optimized && exec ghci -hisuf O.hi -osuf O.o Test "$@"