diff options
| author | Mike Pall <mike> | 2012-04-26 23:47:00 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2012-04-26 23:47:00 +0200 |
| commit | e099059afdcb2872c20fff12d6cd8e48853002d8 (patch) | |
| tree | a54499defda682c2f5b623b569849849466cff26 /src/Makefile | |
| parent | d4a09431c835a7a87dac5437d6ccc36516ce0645 (diff) | |
| download | luajit-e099059afdcb2872c20fff12d6cd8e48853002d8.tar.gz luajit-e099059afdcb2872c20fff12d6cd8e48853002d8.tar.bz2 luajit-e099059afdcb2872c20fff12d6cd8e48853002d8.zip | |
Add more comparison variants to Valgrind suppressions file.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 28075d36..65ab754f 100644 --- a/src/Makefile +++ b/src/Makefile | |||
| @@ -142,6 +142,7 @@ XCFLAGS= | |||
| 142 | # | 142 | # |
| 143 | # This define is required to run LuaJIT under Valgrind. The Valgrind | 143 | # This define is required to run LuaJIT under Valgrind. The Valgrind |
| 144 | # header files must be installed. You should enable debug information, too. | 144 | # header files must be installed. You should enable debug information, too. |
| 145 | # Use --suppressions=lj.supp to avoid some false positives. | ||
| 145 | #XCFLAGS+= -DLUAJIT_USE_VALGRIND | 146 | #XCFLAGS+= -DLUAJIT_USE_VALGRIND |
| 146 | # | 147 | # |
| 147 | # This is the client for the GDB JIT API. GDB 7.0 or higher is required | 148 | # This is the client for the GDB JIT API. GDB 7.0 or higher is required |