diff options
Diffstat (limited to 'rts/Makefile')
| -rw-r--r-- | rts/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Makefile b/rts/Makefile index 7d12d0b77a..9f1782bb70 100644 --- a/rts/Makefile +++ b/rts/Makefile @@ -278,7 +278,7 @@ endif ifeq "$(GhcRtsWithPapi)" "YES" -SRC_HC_OPTS += -optc-DUSE_PAPI +SRC_CC_OPTS += -DUSE_PAPI PACKAGE_CPP_OPTS += -DUSE_PAPI PACKAGE_CPP_OPTS += -DPAPI_INCLUDE_DIR=$(PapiIncludeDir) |