diff options
| -rw-r--r-- | rts/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Makefile b/rts/Makefile index 585958fca3..e59a6337cf 100644 --- a/rts/Makefile +++ b/rts/Makefile @@ -310,6 +310,7 @@ endif else # GhcRtsWithPapi==YES +PACKAGE_CPP_OPTS += -DPAPI_INCLUDE_DIR="" PACKAGE_CPP_OPTS += -DPAPI_LIB_DIR="" endif |