#!/bin/sh

src/CPM.PerformanceTest +RTS -T -RTS $*
