set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)
[ghc-hetmet.git] / distrib / prep-bin-dist-mingw-alex
2004-02-12 mthomas[project @ 2004-02-12 02:01:54 by mthomas]