Selection of PAPI events via RTS command line
[ghc-hetmet.git] / rts / Papi.h
2006-11-08 mrchebas@gmail.comAddition of PAPI to RTS