set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)
authorSimon Marlow <marlowsd@gmail.com>
Tue, 22 Jul 2008 14:13:27 +0000 (14:13 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 22 Jul 2008 14:13:27 +0000 (14:13 +0000)
commitd16f69bd77467961e80e27caff5c5bd686afa90b
tree73613fa5328d4ca2cfe4976d1fef991e3bd796a7
parent8ba7bea1b3993df0cfe9baa02fa74f3a356afffa
set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)
rts/Makefile