diff options
| -rw-r--r-- | Makefile.config.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 4467216b9a..6b579fc8c9 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -74,10 +74,6 @@ OBJ_ROOT := . # want to override the value set by configure. LLVMGCCDIR := @LLVMGCCDIR@ -# Path to the PAPI code. This is used by the reoptimizer only. -#PAPIDIR := /home/vadve/shared/papi-2.3.4.1 -PAPIDIR := @PAPIDIR@ - # These are options that can either be enabled here, or can be enabled on the # make command line (ie, make ENABLE_PROFILING=1): |